Informal Systems

0 followers

‌

Informal Systems offer research and development at the intersection of formal verification and distributed systems.

Industries

Blockchain, Software

Headquarters

Toronto, Canada

Employees

11-50

Links

Org chart

Ethan Buchman

Chief Executive Officer

Ethan Buchman

Collapse

Andrey Kupriyanov

Security Audits Technical Lead

Arianne Flemming

Chief Operating Officer

Greg Szabo

Senior Software Engineer

Romain Ruetschi

Principal Engineer

Tesnim Abdellatif

Product Lead

Zarko Milosevic

Head Of Engineering And Security Services

Pat Ellisen

General Counsel

Teams

+15

Engineering

18 members

Engineering and Technical Team

5 members

Leadership Team

4 members

Similar companies

CGI

160 followers

Thomson Reuters

100 followers

saas.group

1 follower

PicnicHealth

8 followers

webAI

2 followers

Volt

4 followers

Sui Foundation

4 followers

Strise

4 followers

CaseWare

3 followers

EventMobi

3 followers

Valsoft

3 followers

Explore companies