Informal Systems offer research and development at the intersection of formal verification and distributed systems.
Focus Areas
Notable Investments
