Adi is a Research Scientist at Informal. He likes understanding and building distributed systems, making them faster and more resilient. Despite knowing that time is an illusion, the goal of his life is to build things -- distributed systems, and not only -- that last.
Andrey is a research engineer focusing on developing practical verification methods and tools. He strives to make computer systems reliable by combining simplicity and elegance of design with bug-fixing through verification.
Arianne is COO at Informal focusing on overseeing company operations and procedures. She believes that value should be shared among those who create it. Outside of work you'll find her practicing yoga, teaching math, and with her dog Millie.
Greg is the Director of Infrastructure and leads infrastructure projects that build tools and services for Informal and the Cosmos ecosystem. He believes that using IT infrastructure should be a seamless experience that enables customers to focus on their goals, instead of fighting the servers.
Igor is a Research Scientist at Informal. He believes that computer-aided verification is up to the challenges of finding bugs in industrial consensus protocols and proving their correctness. Igor focuses on specification and verification of fault-tolerant distributed algorithms as well as improving the verification tools. Igor enjoys reading and riding hills on a bike or ski.
Ilina is a Research Engineer. She is interested in specifying and verifying fault-tolerant distributed algorithms, and believes that formal verification should lie at the base of the software development process.
Romain is a Software Engineer who uses formal methods and programming language theory to build correct and resilient software. He's a major contributor to the Stainless verification framework for Scala, and has co-authored a few popular crypto libraries in Rust. Based in Lausanne, Romain likes to spend time in the mountains, hiking, skiing and reading.
Sean is a Distributed Systems Engineer with over a decade of experience building and scaling large production systems. Straddling the fence between the academy and industry, his work has been featured in ACM Sigcomm, EuroSys and O'Reilly Velocity.