Past Member
Andrej Bauer
Funding provided by the Fund for Mathematics
Affiliation
Mathematics
Field of Study
Logic, Computation
From
–
Andrej Bauer is broadly interested in computation and the computational nature of mathematics, approaching the subject through logic, category theory, type theory, and constructive mathematics. He also works on mathematical foundations of programming languages with emphasis on their mathematical semantics.
Dates at IAS
Member
School of Mathematics
–
Fall
Degrees
Carnegie Mellon University
Ph.D.
2000
