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 2023	ICFP'22 General Chair in Steering Committee
ICFP 2022	General Chair in Organizing Committee General Chair of Welcome within the Catering & social-track General Chair in Steering Committee
CPP 2022	Committee Member in Program Committee within the CPP 2022-track
ICFP 2021	Committee Member in Steering Committee
POPL 2020	Committee Member in Program Committee within the Research Papers-track
ICFP 2019	Author of Derivations as computations within the Keynotes and Reports-track
CPP 2017	Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track
TTT 2017	Committee Member in Program Committee within the TTT-track
POPL 2016	Committee Member in Program Committee within the Research Papers-track Committee Member in Program Committee