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.
Visits
Member
School of Mathematics
–
Fall