Pricing

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

MASV

1 follower

Bitwave

3 followers

QScale

1 follower

Cyncly

3 followers

CGI

204 followers

Thomson Reuters

120 followers

OpenText

111 followers

Lightspeed Commerce

63 followers

Aleph Alpha

3 followers

Blackberry

31 followers

Kinaxis

17 followers

Explore companies