Past Member
Marc Bezem
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of Study
Mathematical Logic, Computer Science
From
–
Marc Bezem studies logic and computer science with an emphasis on type theory, constructive mathematics, and the mechanization of reasoning. At the Institute, he will work on the univalent foundations of mathematics from the viewpoint of formalizing mathematics.
Dates at IAS
Member
School of Mathematics
–
Spring
Degrees
Utrecht University
Ph.D.
1986