Hugo Herbelin headshot
Past Member

Hugo Herbelin

Funding provided by the Fund for Mathematics

Affiliation

Mathematics

Field of Study

Computer Science
From
Hugo Herbelin’s research focuses on the correspondence between proofs and programs. On a foundational side, he is currently investigating the relations between forcing and memory effects and between choice and lazy evaluation. On a more applied side, he is contributing to the implementation of proof assistants, such as Coq.

Dates at IAS

Member
School of Mathematics
Fall