Registered user since Thu 14 Jan 2021
Name:Simon Guilloud
Country:Switzerland
Affiliation:EPFL
Personal website: https://people.epfl.ch/simon.guilloud
Research interests:Formal Methods, Proof Assistants, Algorithms, Logic
Contributions
Using general profile