Andrej Bauer

Andrej Bauer is a Professor of computational mathematics at the University of Ljubljana, Slovenia. He works at the Faculty of Mathematics and Physics and chairs the Department of Theoretical Computer Science at the Institute of Mathematics, Physics and Mechanics (IMFM).

• Email: Andrej.Bauer@andrej.com
• Office: Room 4.35, Jadranska 21, Ljubljana

Research Interests

His work focuses on:

• Type Theory
• Homotopy Type Theory
• Category Theory
• Constructive Mathematics
• Formalization of Mathematics
• Programming Language Foundations

Advising and Projects

Supervised students on formalizing Artin-Wedderburn Theorem in non-commutative ring theory and contributed to the development of the Homotopy Type Theory course.