Aaron is a User Experience (UX) / User Interface (UI) Engineer at Informal, working to bring our incredible technologies to more people through intuitive interfaces. Addicted to taming complexity, the blockchain ecosystem is the perfect space for him to play in. When he’s not designing or building software, he likes to tour the city on foot, bicycle, or motorcycle making frequent stops to snap photos.

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.

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 painting.

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 with bug-fixing through verification. Outside of work, Andrey enjoys reading and playing the trumpet.

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.

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 (Brazil) and is a Postdoc Researcher at the University of Lugano (Switzerland). In his free time, he is probably hiking in the mountains or riding a bike.

Daniel is a research engineer at Informal who works on developing tools that make verification effective and easy for developers. He believes that applying formal methodologies is the key to building scalable systems that don’t contain nasty surprises. In his free time he likes to cycle, read about different scientific topics, and eat spicy food.

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.

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 possible scenario, even when that’s impossible. Outside of work you’ll find them playing computer games or impulsively changing their Emacs/hair color.

N/A

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.

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 ambitious, he too tries to understand us humans better.

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. During her thesis she made sure that software never underutilizes the hardware resources. Now she is looking forward to exploring the world of blockchain and tackling the challenges of designing performant and resilient blockchain systems.

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 CEO of Althea.

Jelena is Product Marketing Manager at Informal Systems, focused on building a community around Informal’s suite of products and services through narrative building, marketing, & biz dev. She loves to read authors she disagrees with and debating their merits after the fact. She believes that the forthcoming decentralized digital world will be more beautiful and empowering than the last.

Jon is a Cosmos Security Engineer. He hails from the world of big financial tech. He focuses on securing environments, and making them safe for all (except attackers). Outside of work you can find him getting a black eye from jiu jitsu or hanging out with his dogs and playing games.

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 enjoys Yoga, all kinds of music, and being at the seaside.

Joshua is the Cephalopod community manager at Informal Systems. His mission is to connect ecosystems and build communities. He believes that open-source blockchain technology empowers communities with tools to drive change and lead through innovation. Outside of work he likes to spend time in forests surrounded by trees.

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, auctions, and platform economics. He holds a Ph.D. in Economics and has published in leading journals. Juan enjoys the creativity and learning process of scientific research. He likes spending time with family and friends, cooking, reading, and traveling.

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 verification and analysis of distributed protocols and systems.

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 in Portugal and the Catholic University of Louvain in Belgium. His research interest is in the design and implementation of distributed systems. He develops provably correct techniques to simplify the design and implementation of practical distributed systems providing scalability, consistency, and reliability.

Marie works on product development to support local money and mutual credit systems. She cares about building resilient and equitable systems, that incentivize cooperation and sustainability.

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 decentralized, verifiable, and secure digital services, which will lead to a more equitable world. Marius received his PhD in designing novel consensus algorithms with the purpose of enhancing the performance of state-machine replication for both small- and large-scale deployments. In his free time, you can find him SUPing on the canals of Hamburg (in summer) and snowboarding in the Austrian Alps (in winter).

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 his chops on building proof-of-stake blockchain technology in Rust, he has joined Informal Systems to work on the foundations of Cosmos.

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 at breaking software. He is based in Toronto and when he’s not coding, you can find him in Rocket League and other competitive video game scenes.

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 exploring new parts of her city or spending time with her cat.

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 and St Olaf College, Minnesota, while consulting and researching in wind turbine aerodynamics. He then worked for a wearable computer company in Minnesota and continued working in hardware R&D at Philips Research Laboratories in the UK until 2001. He was then a research group leader at the MIT Media Lab Europe in Dublin. In 2003 he joined the Department of Media and Communications at the London School of Economics and Political Science (UK), with which he retains an affiliation as a Senior Visiting Research Fellow. In 2012 He also joined the Computer Science Department at the University of Hertfordshire (UK), with which he retains an affiliation as Visiting Research Fellow. More recently, he has worked as an R&D consultant for the Sardex complementary currency 2016-19.

In social science, Paolo is interested in studying social, economic, monetary, and political theory and how they apply to bottom-up socio-economic phenomena such as complementary currencies. His preferred applied field in social science is the role of collaborative finance tools such as mutual credit and obligation-clearing in (the political economy of) sustainable development.

In Computer Science Paolo has worked on biocomputing and algebraic automata theory. He is very interested, although far from an expert, in Abstract State Machines as a mathematical specification and modelling methodology for software engineering.

In physics and mathematics Paolo is interested in the study of symmetries, non-linear dynamical systems, abstract algebra (esp. group theory), and differential geometry.

Philippe is a Rust Engineer at Informal Systems. He has a background in system software as well as robotics and artificial intelligence. He is particularly interested in contributing to the development of decentralized computation at large. Philippe loves learning about pretty much anything, but tends to linger mainly on computer science and economics related topics. Outside of work, you’ll find him reading, hanging out with friends, and jogging by the water.

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 bringing good people together to do great things.

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 on the world. Outside of work you’ll find him hiking in nature or meditating.

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 local pubs.

Rodrigo is a Research Engineer focusing on the Apalache model checker. He is interested in the use of formal methods for specification and verification of general programs as well as of blockchain technologies, and is currently pursing his PhD degree in Informatics at the Università della Svizzera italiana, Switzerland.

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 a Developer Relations Engineer at Informal. He helps to make the world of Cosmos, blockchains, and cryptocurrencies less complicated and more understandable. He’s an ardent evangelist of the Rust programming language and contributes to improving its standards and ergonomics. Outside of work, he is staying active by playing some kind of racket sport and/or learning some form of dance.

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 real-time media. As an engineer, his experience is with large-scale development projects, their design, continuous integration, testing, and software quality initiatives. When he understood what blockchain technology is about, he was convinced it would change the world as we know it, for the better.

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 clients. He is an ardent proponent of free software and decentralization. Shoaib enjoys listening to Indian classical music, writing poetry (of the urdu ghazal genre) and reading research papers on distributed systems & threshold cryptography.

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 kinder communities is paramount.

Shonali is Talent and People Operations manager at Informal, overseeing all things related to people and culture. She believes in empowerment and growth of individuals in a fair society, driven through decentralization. Outside of work, Shonali enjoys being outdoors, trying different cuisines and spending time with her cats.

N/A

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 things, and he is interested in research topics such as algebraic effects, session types, dependent types, formal methods, distributed systems, blockchains, and macroeconomics.

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 crucial ingredient to understanding users’ ecosystems and answering their needs. Outside of work, she loves traveling and reading to explore new horizons.

Thane is a Software Engineer, supporting and contributing to the development of plaintext tools at Informal. He believes that decentralization is one critical component of what makes a healthy society, and that distributed systems technology bolsters and supports that decentralization.

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 curious about many things, but most enjoys home-cooked dinners, mountain hiking, and practicing Tai Chi.

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 interested in skating, yoga and trying out new adventures.

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 skiing.

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 garden.