Orestis Melkonian -

Registered user since Sat 16 Jan 2016

Name:Orestis Melkonian

Country:United Kingdom

Affiliation:University of Edinburgh

Personal website:http://omelkonian.github.io

Research interests:Programming Languages, Functional programming, Type Systems, Formal Verification, Compilers, Static Analysis, Category Theory, Theorem Proving, Algorithmic Music

Contributions

ECOOP 2020	Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track
FARM 2019	Author of Music as Language: Putting Probabilistic Temporal Graph Grammars to Good Use within the FARM 2019-track Author of What Constitutes a Musical Pattern? within the FARM 2019-track
TyDe 2019	Author of Formal Investigation of the Extended UTxO Model within the TyDe 2019-track
REBLS 2018	Author of RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming within the REBLS 2018-track
ICSE 2019	Author of Having Fun in Learning Formal Specifications within the Software Engineering Education and Training -track