Informal Systems
Informal Systems is a research and software development company — organized as a worker co-operative — focused on building reliable distributed systems through formal methods and verification. Spun out of the Cosmos/Tendermint ecosystem, it created the Quint formal specification language, the Choreo distributed-systems choreography framework, and Malachite, a high-performance BFT consensus engine. The company applies formal specification and verification tools to real-world distributed systems challenges, with funding primarily through Interchain Foundation grants.
Company Info
- Founded
- 2019
- Headquarters
- Toronto, Canada
- Founders
- Ethan Buchman, Anca Dragan, Josef Widder, Zarko Milosevic
- Employees
- 30-50
- Website
- https://informal.systems
- Status
- active
Funding
Undisclosed total