Theo Winterhalter

Registered user since Wed 7 Mar 2018

Name:Theo Winterhalter
Country:France
Affiliation:INRIA Saclay
Research interests:Dependent type theory, proof assistants, verification, formal methods

Contributions

Show activities from other conferences

POPL 2023-profile
View general profile