Education
He got his Doctor of Philosophy at Carnegie Mellon University in 2000 under the supervision of Dana Scott.
- Photos
- Works
- Photos
- Works
Andrej Bauer
Edit Profile
Career
He does research in logic, constructive and computable mathematics, category theory, and semantics of programming languages. From September to December 2012 Bauer was a visiting scholar at the Institute for Advanced Study where he was invited to join the Special Year on Univalent Foundations of Mathematics. He contributed significantly to this project and helped to produce the document called "The HoTT Book" which summarized much of the work done during the special year in the new field of Homotopy type theory.
Bauer is a supporter of using web-based software systems such as GitHub to promote collaborative work by mathematicians – the six-hundred-page HoTT Book being a notable example.
