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

Blockchain

Information Technology

Software

Informal Systems

Ethan Buchman

Cosmos Hub Business Development Lead

Business Development Lead - Cycles Protocol

Pat Ellisen

Zarko Milosevic

Tesnim Abdellatif

Romain Ruetschi

Greg Szabo

Arianne Flemming

Andrey Kupriyanov

The Leadership Team at Informal Systems drives the strategic vision and operational execution, overseeing research and development initiatives in formal verification and distributed systems. Comprised of the COO, CEO, Principal Engineer, and CTO, this team ensures alignment between innovative goals and practical applications, fostering growth and technological advancements within the company.

Leadership Team

Engineering

Engineering and Technical Team

Leadership Team

About

Team members

Other teams at Informal Systems

Engineering

Engineering and Technical Team