INFORMAL SYSTEMS
Informal Systems offer research and development at the intersection of formal verification and distributed systems.
INFORMAL SYSTEMS
Industry:
Blockchain Information Technology Software
Founded:
2019-01-01
Status:
Active
Technology used in webpage:
Viewport Meta IPhone / Mobile Compatible SPF SSL By Default Google Font API LetsEncrypt Apple Mobile Web Clips Icon Content Delivery Network Font Awesome Mobile Non Scaleable Content
Current Employees Featured
Ethan Buchman
Ethan Buchman Chief Executive Officer & Founder @ Informal Systems Chief Executive Officer & Founder
Founder
Ethan Buchman
Investments List
Date | Company | Article | Money raised |
---|---|---|---|
2021-11-22 | Axelar | Informal Systems investment in Venture Round - Axelar | N/A |