Scientific Advisory Board
- Jennifer Balakrishnan, Professor, Department of Mathematics and Statistics, Boston University
- François Charton, Technical Staff, Axiom
- Johan Commelin, Director, Mathlib Initiative, and 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 and 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