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
Research interests:Programming Languages, Functional programming, Type Systems, Formal Verification, Compilers, Static Analysis, Category Theory, Theorem Proving, Algorithmic Music

Contributions

ICSE 2019 Having Fun in Learning Formal Specifications
Show activities from other conferences

ICSE 2019-profile
View general profile