About Orestis Melkonian

2023-2026: Formal Methods @ Input Output (IOHK)
2019-2023: PhD @ University of Edinburgh

Seizing the means of production (code) with Agda / (dependent) type theory / formal verification / compilers.

Lists

Timeline

omelkonian has no activity yet