Skip to content
Schematic
Get started

People

The people behind
Schematic.

We are mathematicians, researchers, and engineers working across formal methods, software systems, and applied research.

Meet the team

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.

Thanos Papaïoannou 01
CEO / TITLE / DESCRIPTION

Thanos Papaïoannou

Short two-line biography sits here when final roles and wording are approved.

Mark Kisin 02
TITLE / DESCRIPTION

Mark Kisin

Short two-line biography sits here when final roles and wording are approved.

Keeley Hoek 03
TITLE / DESCRIPTION

Keeley Hoek

Short two-line biography sits here when final roles and wording are approved.

Zoe Schwerkolt 04
TITLE / 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.

01

Make the claim explicit.

Before solving a problem, state exactly what should be true and where it applies.

02

Separate search from proof.

Exploration can be creative. Final decisions need evidence that stands on its own.

03

Stay close to real systems.

Research matters when engineers can apply it to software they already build and run.