Write a Blog >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Orestis Melkonian

Registered user since Sat 16 Jan 2016

Name: Orestis Melkonian

Country: Greece

Affiliation: University of Utrecht

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

ICSE 2019Author of Having Fun in Learning Formal Specifications within the Software Engineering Education and Training -track
Show activities from other conferences

Using general profile