Team
Anne Baanen
Bryan Gin-ge Chen
Senior Engineer
Johan Commelin
Director
Oliver Nash
Senior Manager
Adam Topaz
We're hiring
We currently have several open roles. Visit our careers page for details.
Strategic Advisory Board
Ralph Abboud
Program Scientist, Renaissance Philanthropy
Matthew Ballard
Associate Director, Institute for Computer-Aided Reasoning in Mathematics
Pushmeet Kohli
Vice President of Research, Google DeepMind
Patrick Massot
Professor of Mathematics, Université Paris-Saclay
Kim Morrison
Senior Research Software Engineer, Lean FRO
Emily Riehl
Professor of Mathematics, Johns Hopkins University
Terence Tao
Professor of Mathematics, University of California, Los Angeles