Carnegie Mellon University

Floris Van Doorn

Floris Van Doorn

  • Doherty Hall 4301-B
Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Hometown: Hilversum, The Netherlands
MSc Mathematics
Utrecht University

Research

  • Homotopy Type Theory
  • Interactive Theorem Proving
  • Mathematical Logic