Team
Dagur Asgeirsson
Mathematical Research Engineer
(Postdoc, University of Alberta)
Anne Baanen
Mathematical Research Engineer
Bryan Gin-ge Chen
Senior Engineer
Johan Commelin
Director
(Assistant Prof, Utrecht University)
Kenny Lau
Mathematical Research Engineer
Jireh Loreaux
Mathematical Research Engineer
(Associate Professor of Mathematics, Southern Illinois University Edwardsville)
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