Informal Systems

0 followers

‌

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

Industries

Blockchain, Information Technology

Headquarters

Toronto, Canada

Employees

11-50

Links

Org chart

Ethan Buchman

Chief Executive Officer

Ethan Buchman

Collapse

Arianne Flemming

Chief Operating Officer

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

Offices

Similar companies

Valence

4 followers

OpenGamma

1 follower

Kahuna Workforce

1 follower

Nadcab Labs

4 followers

UMX Studio

9 followers

Overstory

4 followers

ThinkLP

1 follower

Valsoft

3 followers

Thomson Reuters

114 followers

Pendo.io

49 followers

Endava

25 followers

Explore companies