Formal - Rethinking the Stack for Serverless

We're building computing for serverless.

We think serverless is awesome. Conceptually. Practically? Well...

We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We're leveraging formal verification and compilers, and we're really excited about it.

We're rethinking the computing stack from the ground up for serverless: truly elastic, soundly isolated, instantly and globally available execution. We're leveraging formal verification and compilers. We're really excited about it.

Stay in the Loop

We're not ready for primetime just yet, but we'd love to keep you in the loop.

What should we call you?

Where can we reach you?

What do you do?

We'll only use this to keep you updated.
Opt out any time.