Orestis Melkonian

Registered user since Sat 16 Jan 2016

Name:Orestis Melkonian
Country:United Kingdom
Affiliation:University of Edinburgh
Research interests:Programming Languages, Functional programming, Type Systems, Formal Verification, Compilers, Dependent Types, Static Analysis, Category Theory, Theorem Proving, Algorithmic Music


POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2023-profile
View general profile