Past Member
Anders Mörtberg
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of Study
Univalent Foundations
From
–
Anders Mörtberg is interested in constructive algebra, logic, and the formalization of mathematics in computer proof assistants. During his stay at the Institute, he will work on the formalization of models of type theory in univalent foundations.
Dates at IAS
Member
School of Mathematics
–
Fall
Member
School of Mathematics
–
Degrees
University of Gothenburg
Ph.D.
2014