‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
Damien Morard

Registered user since Sat 22 Feb 2020

Name: Damien Morard

Country: Switzerland

Affiliation: University of Geneva, Centre Universitaire d’Informatique, Geneva, Switzerland

Personal website: http://morard.me/

Research interests: Semantics, modeling and verification

Contributions

‹Programming› 2020Author of A Formalism to Model Higher-order Functions within the Student Research Competition-track
Show activities from other conferences

‹Programming› 2020-profile
View general profile