Informal Systems
0 followers
‌
Informal Systems offer research and development at the intersection of formal verification and distributed systems.
Industries
+1
Headquarters
Employees
Links
Org chart
Ethan Buchman
Collapse
Andrey Kupriyanov
Security Audits Technical Lead
Arianne Flemming
Chief Operating Officer
Greg Szabo
Infrastructure and Security Lead
Romain Ruetschi
Principal Engineer
Tesnim Abdellatif
Product Lead
Pat Ellisen
General Counsel
Business Development Lead - Cycles Protocol
Vacant position
Cosmos Hub Business Development Lead
Vacant position
