Past Member

Andrej Bauer

Affiliation
Mathematics
Field of Study
Logic, Computation
From 9/2012 – 12/2012:

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
  • Mathematics
9/201212/2012 Fall
Degrees
Carnegie Mellon University Ph.D., 2000