ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Andrej Bauer

Registered user since Fri 3 Apr 2015

Name:Andrej Bauer
Country:Slovenia
Affiliation:University of Ljubljana
Personal website:http://www.andrej.com/
Research interests:type theory, homotopy type theory, category theory, logic, programming languages, constructive mathematics

Contributions

ICFP 2022 General Chair in Organizing Committee
General Chair in Steering Committee
Show activities from other conferences

Using general profile