Past Member
Benno van den Berg
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of Study
Mathematics
From
–
Benno van den Berg’s research is in mathematical logic and category theory, with applications to mathematics and computer science. During his stay, he will work on Voevodsky’s univalent foundations for mathematics with the purpose of developing its semantics, its connections with higher-dimensional category theory, as well as its implementation as a proof assistant.
Dates at IAS
Member
School of Mathematics
–
Spring
Degrees
Universiteit Utrecht
Ph.D.
2006