Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Andrej Bauer

Registered user since Fri 3 Apr 2015

Name: Andrej Bauer

Bio: 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. With Matija Pretnar he designed the programming language Eff, the first language to support first-class algebraic effects and handlers. He was a member of the team of mathematicians who developed homotopy type theory at the Institute for Advanced Study. His latest research aims to provide a general mathematical understanding of what type theories are, and how we may implement them in practice, even when they lack good computational properties.

Country: Slovenia

Affiliation: University of Ljubljana

Personal website: http://www.andrej.com/

Research interests: type theory, homotopy type theory, logic, programming languages, constructive mathematics, foundations of mathematics

Contributions

ICFP 2019Author of Derivations as computations within the Keynotes and Reports-track
Show activities from other conferences

ICFP 2019-profile
View general profile