Team
Employees
Anne Baanen
Mathematical Research Engineer
Bryan Gin-ge Chen
Senior Engineer
Johan Commelin
Director
(Assistant Prof, Utrecht University)
Marcelo Lynch
Senior Engineer
Thomas R. Murrills
Mathematical Research Engineer
Oliver Nash
Senior Manager
Adam Topaz
Senior Manager
(Associate Prof, University of Alberta)
Contractors
Dagur Asgeirsson
Mathematical Research Engineer
(Postdoc, University of Alberta)
Robin Carlier
Mathematical Research Engineer
(PhD, ENS De Lyon)
Jon Eugster
Mathematical Research Engineer
Jovan Gerbscheid
Mathematical Research Engineer
(PhD, University of Cambridge)
Jireh Loreaux
Mathematical Research Engineer
(Associate Professor of Mathematics, Southern Illinois University Edwardsville)
Andrew Yang
Mathematical Research Engineer
(PhD, Imperial College London)
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