Research

We research and build safe and verified intelligent systems.

Our goal is to solve safe systems verification and validation and advance scientific discovery for all.

Current research projects

AgileFormal