• 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
No Photo

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

2023

CPP

  • Author of Formalising the h-principle and sphere eversion within the CPP 2023-track

2022

CPP

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

2021

CPP

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

2020

CPP

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

2016

CPP

  • Author of Constructing the Propositional Truncation using Non-recursive HITs within the CPP-track
Share
xFri 9 May 00:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up