ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Théo Winterhalter

Registered user since Wed 7 Mar 2018

Name:Théo Winterhalter
Country:France
Affiliation:INRIA
Research interests:Dependent type theory, proof assistants, verification, formal methods

Contributions

Show activities from other conferences

Using general profile