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

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

Vienna

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

Lausanne

Ethan Buchman

Arianne Flemming

This department is responsible for designing, developing, and maintaining software applications.

Software Engineering

This department focuses on identifying growth opportunities and building strategic partnerships to enhance the organization's market position.

Business Development

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

This department focuses on overseeing engineering functions and implementing security measures across the organization.

Engineering and Security

This department focuses on managing and developing employee relations, talent acquisition, and organizational culture.

Human Resources

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

Software Engineering

Business Development

Engineering

Engineering and Security

Human Resources

Leadership Team

Offices

Informal Systems

Org chart

Teams

Software Engineering

Business Development

Engineering

Engineering and Security

Human Resources

Leadership Team

Offices

Related companies