Past Member

Andrej Bauer

Funding provided by the Fund for Mathematics

Affiliation

Mathematics

Field of Study

Logic, Computation

Home Institution

University of Ljubljana
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