Formal
Software Development
Menlo Park, California, United States
2 employees
- Employees
- 2
- Contacts
- 1
- Emails
- 1
Formal Overview
- Headquarters
- Menlo Park, California, United States
- Website
- formalstack.com
- Industry
- Software Development
- Employees
- 2
- Founded
- 2023
- NAICS
-
Software Publishers
Keywords
About Formal
We're rebuilding computing for serverless. We think serverless is awesome. Conceptually. Practically? Well... So 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.
Formal Contact Details
- People in AeroLeads
- 2
- With contact data
- 1
- Email contacts
- 1
- 50.0% coverage
Formal Org Chart
Sample employees and titles| Name | Title | Location | Contact |
|---|---|---|---|
| Eric Walkingshaw | Compiler Engineer and Pl Researcher |
View
|
|
| Sergio Benitez | Compilers and Os @ Formal | San Francisco Bay Area, United States |
Email
|
Compare Similar Companies to Formal
QuEra Computing Inc.
Research Services
Amplify Partners
Venture Capital And Private Equity Principals
AI Stealth
Software Development
Qovery
Software Development
CEVA Limited
It Services And It Consulting
Laddar
Software Development
Elemental Cognition
Technology, Information And Internet
Relari
Software Development
Swytchcode
Technology, Information And Internet