My name is Péter Diviánszky.
In the last 33 years I developed programs on Commodore, Amiga, Mac and IBM computers in procedural, object-oriented and functional programming languages. I have a master’s degree in Mathematics and a PhD in Informatics. I have several years of experience both in teaching programming and doing programming in large-scale projects.
Current project
Previous projects (selection)
- At Digital Asset I was working on a distributed ledger for the Australian Securities Exchange in daml.
- At Graphisoft I was working on the new versions of ArchiCAD, the company’s flagship product in C and C++.
- At Prezi I was working on the co-editing infrastructure of Prezi documents in Haskell.
- At Standard Chartered I was working on the front-end of an in-house tool for traders/quantitative analysts in Mu (a strict Haskell dialect).
- At ATOMKI I used Haskell for scientific calculations for finding new results in Quantum Informatics. Both outgoing papers (1, 2) appeared in Phisical Review A.
- At ELTE I was teaching Assembly, Functional Programming and related courses for several years. I made lots of interactive learning materials for students (mainly in Hungarian).
- I helped to develop several parts of the Agda compiler (interactions frontend, JavaScript backend, generalization of declared variables).
- I helped to develop the LambdaCube 3D compiler.
- I was experimenting with Functional Reactive Programming several times: state-based FRP, interactive algorithms.
- How to model mutable references in case of referential transparency? I tried to answer this question in my PhD thesis. You can read the summary in English (the thesis is in Hungarian, the related papers are in English).
Contact me on the following email address: let n = "divip" in n ++ "@" ++ n ++ ".hu"