omelkonian Goto Github PK
Name: Orestis Melkonian
Type: User
Company: University of Edinburgh
Bio: PhD @ University of Edinburgh Formal Methods @input-output-hk Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Twitter: omelkoni
Location: Kirkwall, Orkney, Scotland