• Sign in
  • Sign up
conf.researchr.org / Andrej Bauer
  • ICFP 2019 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • POPL 2025 profile
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

2025

WITS

  • Committee Member in Program Committee within the WITS 2025-track

2023

ICFP

  • ICFP'22 General Chair in Steering Committee

2022

ICFP

  • General Chair in Organizing Committee
  • General Chair of Welcome within the Catering & social-track
  • General Chair in Steering Committee

CPP

  • Committee Member in Program Committee within the CPP 2022-track

2021

ICFP

  • Committee Member in Steering Committee

2020

POPL

  • Committee Member in Program Committee within the Research Papers-track

2019

ICFP

  • Author of Derivations as computations within the Keynotes and Reports-track

2017

CPP

  • Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track

TTT

  • Committee Member in Program Committee within the TTT-track

2016

POPL

  • Committee Member in Program Committee within the Research Papers-track
  • Committee Member in Program Committee
Share
xThu 22 May 10:32
using conf.researchr.org (v1.69.0)
Support page
Sign Up