• Sign in
  • Sign up
conf.researchr.org / Floris van Doorn
  • POPL 2016 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile

Registered user since Tue 5 Jan 2016

Name:Floris van Doorn
Country:United States
Affiliation:University of Pittsburgh
Personal website:http://florisvandoorn.com/
Research interests:Interactive Theorem Proving, Homotopy Type Theory

Contributions

CPP 2023 Author of Formalising the h-principle and sphere eversion within the CPP 2023-track
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
CPP 2020 Author of A Formal Proof of the Independence of the Continuum Hypothesis within the CPP 2020-track
Committee Member in Program Committee within the CPP 2020-track
Session Chair of Homotopy Type Theory and PC chairs' report (part of CPP 2020)
CPP 2016 Author of Constructing the Propositional Truncation using Non-recursive HITs within the CPP-track

Share
xTue 28 Mar 15:02
using conf.researchr.org (v1.60.0)
Support page
Sign Up