Floris van Doorn -

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