×
×

Invited speaker

Andrej Bauer

University of Ljubljana

Personal webpage

 

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.