Past Member

Marc Bezem

Funding provided by the Fund for Mathematics

Affiliation

Mathematics

Field of Study

Mathematical Logic, Computer Science

Home Institution

University of Bergen
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