About Us

Verifiable Systems & Organizations

photo-1.jpg
photo-2.jpg
photo-3.jpg
photo-4.jpg

Our Work

theme-icon-verifiable.svg

Software

theme-icon-systems.svg

Money

theme-icon-organizations.svg

Organizations

Our Values

value-icon-play.svg

Play

value-icon-think.svg

Think

value-icon-dance.svg

Dance

value-icon-love.svg

Love

value-icon-serve.svg

Serve

value-icon-own.svg

Own

value-icon-challenge.svg

Challenge

Workers Coop

Person

Aaron Wright

Senior UX/UI Engineer

Aaron is a Senior User Experience (UX) / User Interface (UI) Engineer at Informal, working to bring our incredible technologies to more people through intuitive interfaces. Addicted to taming … Show More

Person

Adi Seredinschi

Research Engineer

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 … Show More

Person

Anca Zamfir

Software Engineer

Anca is a Software Engineer focused on Distributed Systems at Informal. She works on protocol specification and development. Besides blockchain technology, Anca likes skiing, swimming and … Show More

Person

Andrey Kuprianov

Principal Research Engineer

Andrey is a Principal Research Engineer focusing on developing practical verification methods and tools. He strives to make computer systems reliable by combining simplicity and elegance of design … Show More

Person

Andy Nogueira

Software Engineer

Andy is a 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 … Show More

Person

Arianne Flemming

COO

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 … Show More

Person

Daniel Cason

Research Scientist (Part-Time)

Daniel is a Researcher at Informal working to align the specification and implementation of Tendermint protocols. He received his MSc and PhD in Computer Science from the University of Campinas … Show More

Person

Ethan Buchman

CEO

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 … Show More

Person

Farhad Shabani

Software Engineer

Farhad works as a Rust Engineer at Informal. His primary focus has been on blockchain interoperability, aiming to tackle the challenges of distributed systems. Besides software engineering, he worked … Show More

Person

Gabriela Moreira

Research Engineer

Gabriela is a Research Engineer at Informal focusing on tooling around TLA+ and Apalache. They believe that formal methods can liberate developers from the responsibility of having to think of every … Show More

Person

Giuseppe Littera

Local Currency Developer

No biography, yet.

Person

Greg Szabo

Infrastructure & Security Lead

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 … Show More

Person

Hernán Vanzetto

Research Engineer

Hernán is a Research Engineer at Informal with a background on formal verification of distributed systems. He holds a PhD from the University of Lorraine, France, and is currently working on applying … Show More

Person

Igor Konnov

Principal Scientist

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 … Show More

Person

Ivan Gavran

Research Engineer

Ivan works on model-based testing as a way of improving the way we engineer distributed systems. More broadly, Ivan is interested in getting machines to understand us humans better. When feeling … Show More

Person

Jasmina Malicevic

Software Engineer

Jasmina is a Software Engineer at Informal working on Tendermint. She loves to do research that can be applied and empirically evaluated. That is why she pursued a PhD in Computer systems at EPFL. … Show More

Person

Jehan Tremback

Software Engineer

Jehan is Cosmos Hub Lead at Informal, where he works on exciting new features for the Cosmos Hub. Previously, he helped design and build the Gravity Cosmos-Ethereum bridge, and before that served as … Show More

Person

Josef Widder

Principal Scientist

Josef is a Principal Scientist at Informal and focuses on fault-tolerant distributed protocols, their formal specification, and their automated verification. Josef believes in math and logic. He … Show More

Person

Juan Beccuti

Research Economist

Juan is an Economics Researcher at Informal, focusing on incentives in blockchain protocols, markets, and applications. His main interests and expertise are mechanism design, contest theory, … Show More

Person

Jure Kukovec

Research Engineer

Jure is a Verification Engineer at Informal, based in Vienna. As part of his doctoral work, he co-lead the design and development of the Apalache model checker for TLA+. He works on formal … Show More

Person

Lasaro Camargos

Research Engineer

Lasaro is a Research Engineer at Informal, where he focuses on the formal specification and correct implementation of distributed algorithms. He enjoys reasoning about concurrency in large-scale … Show More

Person

Lauren Gallinaro

Software Engineer, Cosmos Hub

Lauren is a software engineer at Informal working on CometBFT. She's interested in building resilient and permissionless systems. Outside of work she enjoys traveling, photography, and getting lost … Show More

Person

Luca Joss

Software Engineer

Luca is Software Engineer focused on the Inter-Blockchain Communication protocol at Informal. He finds Distributed Systems fascinating and love to learn more about it. He considers well-written and … Show More

Person

Manuel Bravo

Research Engineer

Manuel Bravo is a Researcher at Informal Systems. Before joining Informal he was a postdoctoral fellow at the IMDEA Software Institute in Madrid, Spain. He got his Ph.D. from the University of Lisbon … Show More

Person

Marius Poke

Research Engineer

Marius is a Research Engineer at Informal and contributes to the cross-chain communication efforts, with a focus on shared security. He believes that blockchain technology is central in creating … Show More

Person

Mark Yamashita

Product Lead

Mark is a Product Lead at Informal focusing on Collaborative Finance. He believes in delivering great experiences that change the world of Finance for the better. Outside of work you’ll find Mark … Show More

Person

Matija Salopek

Software Engineer

Matija is a Software Engineer at Informal focusing on Cosmos Hub development. His main interests are blockchains, fintech and distributed storage systems. In his free time he plays DnD, does … Show More

Person

Matthew McGrath

Validator BizDev

Matt is Community Manager for Cephalopod Equipment. He loves the community spirit and governance in the Cosmos ecosystem. Outside of work he is a falconer, and when not in the woods he can be found … Show More

Person

Mikhail Zabaluev

Software Engineer

Mikhail is a Senior Software Engineer at Informal Systems. A widely experienced software engineer, Mikhail has been engaged with the Rust programming language since its pre-1.0 releases. After honing … Show More

Person

Milan Mulji

Integration / Cosmos Hub

Milan is a Software Engineer at Informal Systems and contributes to building out new features for the CosmosHub and making sure that Hub upgrades run smoothly. Milan loves tinkering with functional … Show More

Person

Mircea Colonescu

Infrastructure Engineer

Mircea is an Infrastructure Engineer at Informal who works on operating networks for blockchain projects. Mircea is awesome at designing & implementing infrastructure solutions on many platforms and … Show More

Person

Oshan Starreveld

Operations Manager

Oshan is an Operations Manager at Informal. She comes from the world of performance and social art. She focuses on streamlining processes for those who use them. Outside of work you can find her … Show More

Person

Paolo Dini

Local Currency Developer

Paolo was born in Italy in 1961 and moved to the US with his family at age 16. He received a PhD in Aerospace Engineering from Penn State in 1990. He taught undergraduate physics at Carleton College … Show More

Person

Pat Ellisen

Member

No biography, yet.

Person

Philip Offtermatt

Member

No biography, yet.

Person

Preet Singh

Design

Preet is Design Lead at Informal working to setup the team’s design practice including people, design ops and our brand identity. He is a big believer and proponent of the power of communities and … Show More

Person

Raj Pakiyanathan

Finance & Admin Manager

Raj is Group Finance Controller at Informal supporting, contributing and managing company accounting, finance and processes. He believes in the future of this technology and the impact this will have … Show More

Person

Ranadeep Biswas

Research Engineer

Ranadeep is a Research Engineer at Informal based in Paris. He uses model-based testing to expose bugs in distributed systems. When not at work, he is usually hiking in nature or meeting people at … Show More

Person

Romain Ruetschi

Tech Lead - Hermes

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 … Show More

Person

Sean Chen

Hermes Project Lead

Sean serves as Project Lead of the Hermes team at Informal, helping to create a safe, inspiring, and fulfilling environment for the team to do their best work. As a member of Informal's stewarding … Show More

Person

Sergio Mena

Research Engineer

Sergio is a Research Engineer at Informal. He has two professional souls: research and engineering. As a researcher, his background is in distributed fault tolerance and congestion control for … Show More

Person

Shawn Rypstra

Infrastructure Engineer

Shawn is an Infrastructure Engineer at Informal/Cephalopod Equipment focusing on containerized infrastructure. He loves the governance and immutable data aspects of blockchains in Cosmos. Outside of … Show More

Person

Shoaib Ahmed

Software Engineer

Shoaib is a Technical Project Lead at Informal. He has a background in embedded software development, and extensive experience with system programming and protocol development for blockchain light … Show More

Person

Shon Feder

Software Engineer

Shon is a Software Engineer at Informal working to empower distributed cooperative organizations. He loves encoding thought into being by expressing theories as programs and he believes that forming … Show More

Person

Shonali Kagal

Talent & People Ops Lead

Shonali is the Talent and People Operations Lead at Informal, overseeing everything related to people and culture. She believes in the empowerment and growth of individuals in a fair society driven … Show More

Person

Simon Noetzlin

Software Engineer

Simon is a Software Engineer in the Cosmos Hub team at Informal, where he contributes to the new Cosmos Hub features. He previously worked on distributed systems and encryption softwares. Simon … Show More

Person

Soares Chen

Software Engineer

Soares is a Rust engineer at Informal. He uses his knowledge in functional programming and programming language theory to build software that is correct and composable. Soares enjoys learning new … Show More

Person

Tesnim Abdellatif

Product Lead

Tesnim Abdellatif is a Product Leader at Informal. Her mission is to create ergonomic, accessible, and robust verification tools to develop safe distributed systems. She believes that empathy is a … Show More

Person

Tetiana Tanina

People & Culture Generalist

Tetiana is a People & Culture Generalist at Informal focusing on supporting our team members, hiring new ones and delivering people-related programs and solutions. She believes that constant learning … Show More

Person

Thane Thomson

Project Lead

Thane is the Project Lead for the CometBFT project, focusing on "building the system right". He holds an undergraduate degree in Electronic Engineering, and a Master's degree in Business … Show More

Person

Thomas Pani

Research Engineer

Thomas is a Research Engineer focusing on TLA+ tooling and the Apalache model checker. He strives to improve software quality, particularly in concurrent systems. As an avid learner, Thomas is … Show More

Person

Thyborg

Business Lead

Thyborg leads business strategy across all of our verticals. He brings to the company a solid background in business & economics as well as a decade of experience building & growing companies. … Show More

Person

Tolulope Fakeye

Finance Assistant

Tolu is a finance assistant at Informal. She works on the financial and accounting aspect of the company. She believes in the power of learning and continued development. Outside of work, she is … Show More

Person

Tomaž Fleischman

Local Currency Developer

Tomaž is a Local Currency Developer at Informal. He believes Collaborative Finance will help us reach the sustainable goals. He enjoys walking, reading, gardening and … Show More

Person

Zarko Milosevic

Chief Scientist

Zarko is Chief Scientist and leads research efforts at Informal. He believes that specification and implementation should be in love, and strongly encourages techies to … Show More

Start your career with Informal Systems

Apply Now
Informal Systems Logo
Our R&D powers and secures the Interchain.
Visit us on Github
Visit us on Github
Visit us on Twitter
Visit us on Twitter
Visit us on LinkedIn
Visit us on LinkedIn