Write a Blog >>
MSR 2019
Sun 26 - Mon 27 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Orestis Melkonian

Registered user since Sat 16 Jan 2016

Name: Orestis Melkonian

Country: Greece

Affiliation: Utrecht University

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

ICSE 2019-profile
View general profile