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)
Yoni Zohar (Bar Ilan University)

Current Developers

Martin Brain (University of Oxford and City University of London)
Hanna Lachnitt (Stanford University)
Daniel Larraz (University of Iowa)
Abdalrhman Mohamed (Stanford University)
Mudathir Mohamed (University of Iowa)
Hans-Jörg Schurr (KU Leuven)