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 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