People
Leadership
Jeremy Avigad
Director
Matthew Ballard
Associate Director
Prasad Tetali
Associate Director, Operations
Marijn Heule
Asst. Director, Scientific Activities
Sean Welleck
Asst. Director, Scientific Activities
Irina Gheorghiciuc
Asst. Director, Educational Activities
Michael Young
Asst. Director, Outreach
Aris Winger
Asst. Director, Outreach
Staff
David Renshaw
Innovation Engineer
Jennifer Agnew
Senior Administrative Coordinator
Scientific Advisory Board
Jennifer Balakrishnan
Professor, Department of Mathematics and Statistics, Boston University
François Charton
Technical Staff, Axiom
Johan Commelin
Director, Mathlib Initiative; Assistant Professor, Department of Mathematics, Utrecht University
Sébastien Gouëzel
Research Director, Centre national de la recherche scientifique (CNRS)
Emily Riehl
Kelly Miller Professor of Mathematics, Johns Hopkins University
Radmilla Sazdanovic
Associate Professor, Department of Mathematics, North Carolina State University
Adam Zsolt Wagner
Research Scientist, Google DeepMind
Strategic Advisory Board
Tudor Achim
Co-Founder and CEO, Harmonic
Leonardo de Moura
Senior Principal Applied Scientist, Automated Reasoning Group, Amazon Web Services; Chief Architect and Co-Founder, Lean Focused Research Organization
Pushmeet Kohli
Vice President of Science and Strategic Initiatives, Google DeepMind
Cindy Lawrence
Executive Director and CEO, National Museum of Mathematics
Jason Rute
AI Scientist, Mistral AI
Ravi Vakil
Robert Grimmett Professor of Mathematics, Stanford University; President, American Mathematical Society
Melanie Matchett Wood
William Caspar Graustein Professor of Mathematics, Harvard University
Educational Advisory Board
Chris Sangwin
Professor of Mathematics Education, University of Edinburgh
Keith Weber
Distinguished Professor and Chair, Department of Teaching and Learning, Rutgers