Théo Winterhalter - ICFP 2022 (original) (raw)

Name:Théo Winterhalter

Country:Germany

Affiliation:MPI-SP

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