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