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

Hiring!

Ethan Buchman
Chief Executive Officer

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