FABRIAL is a frontier formal foundations lab in stealth.

Everybody else’s immutable first principles are our core variables.

We’re based in Oxford. If you want to work on the defining problem of the next decade or learn more about what we’re doing, connect with us.