Andrej Bauer is the head of the Theoretical Computer Science Department at the Institute of Mathematics, Physics and Mechanics in Ljubljana, Slovenia, and a professor of computational mathematics at the University of Ljubljana. Bauer’s work spans foundations of mathematics, constructive and computable mathematics, type theory, homotopy type theory, formalized mathematics, and mathematical principles of programming languages. He is also known for his seminal work on programming with algebraic effects and handlers.