Team
Dagur Asgeirsson
Mathematical Research Engineer
(Postdoc, University of Alberta)
Anne Baanen
Mathematical Research Engineer
Robin Carlier
Mathematical Research Engineer
(PhD, ENS De Lyon)
Bryan Gin-ge Chen
Senior Engineer
Johan Commelin
Director
(Assistant Prof, Utrecht University)
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)
Marcelo Lynch
Senior Engineer
Thomas R. Murrills
Mathematical Research Engineer
Oliver Nash
Senior Manager
Adam Topaz
Senior Manager
(Associate Prof, University of Alberta)
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