‹Programming› 2020 (series) / Damien Morard
![Damien Morard](https://2020.programming-conference.org/getProfileImage/damienmorard/c8966a7a-9eae-408b-acf6-d61ccf634414/small.jpg?1711492477000)
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
2020
‹Programming›
‹Programming› 2020-profile
View general profile
View general profile