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

Blockchain

Information Technology

Software

Informal Systems

Informal Systems' headquarters in Toronto, Canada

The Lausanne office focuses on software development and security solutions, driving innovation in technology.

Lausanne

Vienna office focuses on research and security technologies, driving innovation and scientific advancements in engineering.

Vienna

Ethan Buchman

Arianne Flemming

The Engineering team at Informal Systems is responsible for developing and implementing cutting-edge software solutions that integrate formal verification with distributed systems. They design, code, test, and maintain critical software while ensuring security and reliability. The team collaborates on research initiatives, conducts security audits, and engages with the community to advance the field of distributed computing and verification.

Engineering

The Engineering and Technical Team at Informal Systems focuses on designing, developing, and maintaining high-integrity distributed systems through formal verification methods. They oversee infrastructure and security, drive research and development, manage project timelines, and ensure user-friendly interfaces and experiences.

Engineering and Technical Team

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.

Informal Systems

Org chart

Teams

Engineering

Engineering and Technical Team

Leadership Team

Offices

Informal Systems

Org chart

Teams

Engineering

Engineering and Technical Team

Leadership Team

Offices

Related companies