Leadership 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.