Schematic’s founders bring together three PhDs in mathematics, Harvard research, International Mathematical Olympiad medals, and experience across quantitative finance, AI, and cybersecurity. Together, they bring mathematical certainty to real-world systems.
Leadership
CEO · Co-founder
Before founding Schematic, Thanos led AI and machine learning software investments at Roivant Sciences and worked as a quantitative researcher. He worked on the p-adic Hodge conjecture under Mark Kisin at Harvard. He holds a PhD in mathematics from the University of Chicago and is an International Mathematical Olympiad medalist.
PhD, University of Chicago
CTO · Co-founder
Keeley has been working on AI for mathematical reasoning since 2018. He was an early contributor to mathlib, Lean’s mathematical library, and developed machine learning methods for automated proof search in Lean. He holds a PhD in mathematics from Harvard.
PhD, Harvard University
Research Director · Co-founder
Mark is the Perkins Professor of Mathematics at Harvard. His research spans arithmetic algebraic geometry and p-adic Hodge theory. He is a Fellow of the Royal Society and a member of the American Academy of Arts and Sciences, and was an invited speaker at the 2010 International Congress of Mathematicians.
Perkins Professor, Harvard ; Fellow of the Royal Society
Interested in bringing mathematical certainty to software alongside experts in AI, formal verification, and Lean?
