Floris van Doorn
Professor, University of Bonn
Floris van Doorn is a professor at the Mathematical Institute of the University of Bonn who leads the Formal Mathematics workgroup. His interests are to make it viable to formalize research mathematics in proof assistants that can check the correctness of such proofs.