ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
ICFP 2024 (series) / Théo Winterhalter
Théo Winterhalter

Registered user since Wed 7 Mar 2018

Name:Théo Winterhalter
Country:France
Affiliation:Inria
Personal website: https://theowinterhalter.github.io/
X (Twitter): https://x.com/winterhalter_t
GitHub: https://github.com/TheoWinterhalter
Research interests:Dependent type theory, proof assistants, verification, formal methods

Contributions

Show activities from other conferences

ICFP 2024-profile
View general profile
OSZAR »