I'm a computer scientist and programmer living in Vienna. My passions are visualizations, music theory, and building fun things for the web.
- Austria
Highlights
- Pro
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
University of Edinburgh Kirkwall, Orkney, Scotland