Biosketch
Andrej Bauer is a professor of computational mathematics at the Faculty of Mathematics and Physics, University of Ljubljana. His research spans foundations of mathematics, constructive and computable mathematics, type theory, homotopy type theory, and principles of programming languages.