Verifiable Systems & Organizations

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

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

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

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

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

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

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

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

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

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

No biography, yet.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

No biography, yet.

No biography, yet.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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