Adi is a Research Engineer focused on Distributed Systems 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.
Andy is a Developer Advocate and Software Engineer at Informal. He believes that creating successful ecosystems is a combination of getting the right people and groups working together in a cohesive and trusting way to benefit all the participants. He enjoys reading, photography, swimming and playing tennis.
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 Infrastructure and Security Lead at Informal. He 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 Principal 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 focused on Verification at Informal. 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.
Jelena is Operations Manager at Informal Systems working to scale up company procedures and processes. She loves to read authors she disagrees with and enjoys taking her Nikon FE2 on long walks. She believes that the forthcoming decentralized digital world will be more beautiful and empowering than the last.
Romain is a Software Engineer focused on Distributed Systems at Informal. He 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 CTO at Informal. He has 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.
Shivani is a Software Engineer focused on Distributed Systems at Informal. She works on testing the Lite Client and IBC protocol. She believes distribution of power and decentralization of control is the way to not-a-self-depleting society. Outside of work, Shivani loves dancing and reading books.