Our Team

Adi Seredinschi

Adi Seredinschi

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.

Anca Zamfir

Anca Zamfir

Anca is a Distributed System Engineer at Informal with a focus on protocol specification and development. Besides blockchain technology, Anca likes skiing, swimming and painting.

Andrey Kuprianov

Andrey Kuprianov

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.

Andy Nogueira

Andy Nogueira

Andy is a Technical Product Manager. 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 Flemming

Arianne Flemming

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.

Ethan Buchman

Ethan Buchman

Ethan is CEO at Informal. He sees consensus algorithms as a 21st century means for promoting social cohesion. He is driven to empower humans with new ways to coordinate and reach agreement at scale.

Greg Szabo

Greg Szabo

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 Konnov

Igor Konnov

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 Stoilkovska

Ilina Stoilkovska

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.

Josef Widder

Josef Widder

Josef is a Research Scientist at Informal and focuses on fault-tolerant distributed protocols, their formal specification, and their automated verification. Josef believes in math and logic. He enjoys Yoga, all kinds of music, and being at the seaside.

Romain Ruetschi

Romain Ruetschi

Romain is a Software Engineer who strives to build correct and resilient software by standing on the shoulders of formal methods and programming language theory. When he is not working towards this goal, Romain likes spending his time in the mountains, hiking, skiing and reading.

Sean Braithwaite

Sean Braithwaite

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.

Shivani Joshi

Shivani Joshi

Shivani is a Junior Distributed Systems Engineer at Informal, with focus on 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.

Shon Feder

Shon Feder

Shon is a software engineer working to realize the plaintext corporation. He loves encoding thought into being through well-designed programming languages. He believes developing kinder communities is paramount.

Thane Thomson

Thane Thomson

Thane is a Distributed Systems Engineer, supporting and contributing to the development of Tendermint. He believes that decentralization is one critical component of what makes a healthy society, and that distributed systems technology bolsters and supports that decentralization.

Zarko Milosevic

Zarko Milosevic

Zarko is a Research Scientist and leads research efforts at Informal. He believes that specification and implementation should be in love, and strongly encourages techies to garden.