01CEO / TITLE / DESCRIPTION
Thanos Papaïoannou
Short two-line biography sits here when final roles and wording are approved.
People
The people behind
Schematic.
We are mathematicians, researchers, and engineers working across formal methods, software systems, and applied research.
01Mathematics
02Research
03Engineering
04Systems
Our story
Why we started Schematic.
Software is writing and controlling more of the systems people rely on, while the tools used to establish correctness still depend largely on selected examples and human review.
Schematic was started to make stronger mathematical methods practical for real engineering teams. We combine theorem proving, software systems, and applied research so important claims can be checked instead of merely predicted.
- Research
- Formal methods
- Engineering
- Software systems
- Focus
- Critical behavior
The team
Our team.
Schematic brings together mathematicians, researchers, and engineers to turn deep reasoning into practical guarantees for real systems.
01
02TITLE / DESCRIPTION
Mark Kisin
Short two-line biography sits here when final roles and wording are approved.
03TITLE / DESCRIPTION
Keeley Hoek
Short two-line biography sits here when final roles and wording are approved.
04TITLE / DESCRIPTION
Zoe Schwerkolt
Short two-line biography sits here when final roles and wording are approved.
Our principles
How we approach the work.
The strongest guarantees come from combining different disciplines around one precise standard of evidence.
Make the claim explicit.
Before solving a problem, state exactly what should be true and where it applies.
Separate search from proof.
Exploration can be creative. Final decisions need evidence that stands on its own.
Stay close to real systems.
Research matters when engineers can apply it to software they already build and run.