Personal information

Activities

Employment (3)

University of Bonn: Bonn, DE

2023-10-01 to present | Professor (Mathematics)
Employment
Source: Self-asserted source
Floris van Doorn

Université Paris-Saclay: Orsay, FR

2021-10-01 to 2023-09-30 | Postdoctoral Associate (Laboratoire de mathématiques d'Orsay)
Employment
Source: Self-asserted source
Floris van Doorn

University of Pittsburgh: Pittsburgh, US

2018-09 to 2021-08 | Postdoc (Mathematics)
Employment
Source: Self-asserted source
Floris van Doorn

Education and qualifications (1)

Carnegie Mellon University: Pittsburgh, PA, US

2013-08-26 to 2018-05-20 | PhD in Pure and Applied Logic (Philosophy)
Education
Source: Self-asserted source
Floris van Doorn

Works (1)

Maintaining a Library of Formal Mathematics

2020 | Book chapter
Contributors: Floris van Doorn; Gabriel Ebner; Robert Y. Lewis
Source: check_circle
Crossref