People

Project Leaders

Clark Barrett (Stanford University)
Cesare Tinelli (University of Iowa)

Senior Technical Leads

Haniel Barbosa (Universidade Federal de Minas Gerais)
Aina Niemetz (Stanford University)
Mathias Preiner (Stanford University)
Andrew Reynolds (University of Iowa)

Current Developers

Martin Brain (University of Oxford and City University of London)
Hanna Lachnitt (Stanford University)
Abdalrhman Mohamed (University of Iowa)
Mudathir Mohamed (University of Iowa)
Alex Ozdemir (Stanford University)
Ying Sheng (Stanford University)
Yoni Zohar (Stanford University, Bar Ilan University)