Blogs (1) >>
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: Utrecht University

Personal website:

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


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