About Orestis Melkonian

PhD student @ Uni of Edinburgh.
Previous coq'aine addict, now seizing the means of production (code) with Agda & formalizing consensus / UTxO blockchains / smart contracts.

Lists

Timeline

omelkonian has no activity yet