The Team

Three PhDs. One obsession.

Drone engineering. Formal methods. Cybersecurity. The exact intersection this problem requires.

F1

Founder 1

CEO & Formal Methods Lead

PhD in Formal Verification. Expert in TCTL, timed automata, model checking, verified code generation.

F2

Founder 2

CTO & DSE Lead

PhD in Optimisation & Systems Engineering. Expert in design space exploration, Pareto optimisation, hardware-software co-design, ASIL/ISO 26262.

F3

Founder 3

CPO & Security Lead

PhD in Cybersecurity. Expert in drone threat modelling, formal security verification, GPS spoofing, command link security.

Early Access

The systems that cannot fail deserve tools built to match.

We are working with a small number of drone OEMs, aerospace suppliers, and defence integrators to validate the pipeline. If you are building safety-critical autonomous systems, reach out.

Priority access to the platform
Co-design of your first use case
Direct line to the founders