Adrian joined Tendermint/Cosmos in 2017 as the 3rd core developer and became later the head of partnerships. After Tendermint, Adrian joined the Web3 Foundation as a technologist. Before Anoma & Namada, Adrian co-founded with Awa and Christopher Cryptium Labs a proof-of-stake validator (sold to Chorus One) and Metastate, an R&D organisation that developed the largest upgrades of the Tezos protocol in addition to ZKP cryptography.

Alberto is a mathematician with a background in cryptography, distributed systems and programming language theory. His interests range from algebraic geometry to compilers and cryptographic protocols. He would like to see zero-knowledge proofs and theorem provers used widely outside academia.

Being a trained mathematician, Aleksandr is excited about applying rigorous mathematical methods to verification of software and protocols. He believes in software correct by construction and hopes to see formal methods widely adopted to cryptography and DLTs one day. Aleksandr has experience in formal verification for secure multiparty computations and logical methods for validating security properties of concurrent programs, among other topics. At Heliax, his mission is to make the distributed protocol more secure and robust by means of state-of-the-art verification techniques.

Artem is a mathematician with training in semantics of dependent type theories and homotopy theory as well as an avid interest in practical applications of interactive theorem proving and category theory.

Awa joined Chainalysis as the first female data scientist and software engineer in 2017, after working on papers on using on-chain data to de-anonymise Bitcoin. Awa joined Tendermint/Cosmos as a researcher, where she met Adrian and Christopher, and helped out with the Ethereum Community Fund initiative in 2018-2019. Ever since, Awa has co-founded and built several ventures with Adrian and Christopher.

Bengt is a software engineer with a background in machine learning and economics. He's excited to start working on distributed ledger technology, balancing zero-knowledge applications with good incentives. If there's anything Bengt likes more than public goods, it's more public goods. Bengt also likes to run offline.

Brent is a high-energy physicist by training with a newfound interest in decentralized technologies. He is currently excited by the potential of zero-knowledge cryptography, jazz music, cycling, and backpacking through nature.

Carlo is a self-thought Cryptographer and aspiring Rustacean. His background is in quantum computing, scientific software development and quantum devices. He is excited about verifiable computation and swimming in open water.

Chris is an award winning multidisciplinary designer with a passion for vibrant ideas driven creative. He has extensive experience across brand, digital and motion graphics, with a drive towards creating moving content and experiences that engage audiences on multiple levels. Self confessed cycling nut, he can often be found building, cleaning and flying around on two wheels both on and off road

Christopher’s journey with decentralisation started by building Zchain, one of the most used explorers for ZCash and the Wyvern DEX protocol which powers NFT marketplaces like OpenSea. Christopher joined Tendermint/Cosmos as a core developer in 2018 and is the author and lead developer of the IBC protocol. While building Cosmos until mainnet and shipping IBC, Christopher co-founded Cryptium Labs and Metastate with Adrian and Awa.

Gianmarco is a software engineer with a background on distributed systems and gossip protocols. Following his studies at the Università della Svizzera Italiana, he decided to pursue a career in cloud computing technologies and is now working and maintaining infrastructure at Heliax.

Isaac is a computer scientist with a background in distributed systems, security, and programming language techniques. In his quest to bolster robust security properties while decentralizing systems, he is adapting consensus protocols for cross-domain (and cross-chain) atomic transactions. When not bringing disorder to systems, Isaac enjoys tabletop RPGs, bad movies, and novels with innovative settings.

Jacob is a mathematician by training with a background in algorithms, combinatorial optimization, and computation complexity. He is also deeply interested in software engineering and putting theory to practice. When he’s not hunched behind a screen, he can be spotted attempting to scale rock faces and being rather loud about it.

Jan is a computer scientist and logician. He has an interest in type theory, proof assistants and compilers. He is very passionate about writing elegant programs and proofs, which are two sides of the same coin. He believes that making advanced type features, such as dependent types, available to mainstream languages will help him and other programmers achieve such a goal.

Jeremy is a researcher interested in BFT consensus systems, finality, and type theory (including dependent and linear types), as well as efficient implementations of functional languages. He joined Heliax after graduating from Case Western Reserve University, where his studies led him down the path of abstract algebra, category theory, and expression in programming languages.

Joe is a theoretical computer scientist with research interests spanning computational complexity theory, probabilistically checkable proofs, and SNARKs. He is interested in ways to apply theoretical results to real world systems.

Jonathan is a Ph.D. candidate with a broad interest in combining math and computer science. He is an enthusiast of expressing and formalizing constructive mathematics and programs free of errors. This has drawn him into the study of formal methods, especially type theory and the use of proof-assistants and automatic theorems. In his world, at least, there is no distinction between doing mathematics as proving lemmas and programming on the computer.

Joshua is mathematician and educator with a special interest in elliptic curve pairings and zero-knowledge cryptography. He is a former college professor and elementary school teacher committed to using cryptography to make blockchain applications more secure and accessible.

Justin is a web and mobile software engineer, and a fan of scalable architecture and functional reactive programming. His various interests include cats, music, travel, sustainable urban development, cycling, and exploring cities, fractals, and cellular automata.

Lukasz is a computer scientist by training with a background in computational logic (type theory, lambda calculus, automated reasoning for proof assistants). He is also interested in functional programming, theory and implementation of programming languages, and software verification. He is the main developer of the CoqHammer automated reasoning system for Coq. At Heliax, he's involved in the design and development of Juvix.

Marco is a software engineer with a background in distributed microservices for the deployment of artificial intelligence applications. His interests span from theoretical computer science (with a focus on dynamic graphs) to operating systems, computer architectures and compilers.

Mateusz is a web software engineer and a programming languages enthusiast. He worked on highly interactive, user-facing front-end applications, like page builders and slide editors. Additionally, he is interested in paradigms and techniques for building accurate and extensible software. He enjoys reading, going to the gym, and spending time with his family in his spare time.

Murisi is a software engineer who enjoys designing and implementing ever more flexible, faster, and safer programming languages. Disruptive ideas intrigue Murisi, such as his current pet project where he's reducing foundational mathematics to structurally correct algorithms. Uphill biking, setting personal kick-up records, and listening to unusual beats... that's me-time for Murisi.

Naqib is a computer scientist with broad interest in performance and security of distributed systems. He has a deep passion for blockchain technology because of its potential to change societies for the better. His graduate thesis focused on improving node discovery in Kademlia protocol for blockchain interoperability solutions.

Paul is a mathematician and software engineer with a PhD in algebraic geometry from the University of Warwick. He has worked on mobile applications for retail banking, collaborated with scientists from the Alan Turing Institute to implement a proximity exposure algorithm for the NHS England COVID-19 app, and worked on a computational law decision engine for global financial regulations. He is an enthusiast for the use of formal methods to improve the quality of software systems and in 2018 founded the Type Driven Development study group which focuses on certified programming and formalization of mathematics.

Pedro is a multifaceted full-stack engineer with a keen interest in interactive and beauty user interfaces. Outside his technical pursuits, he enjoys reading, exploring diverse music genres, and playing various musical instruments.

A law and political science graduate, Philippe is a blockchain enthusiast interested in the manifold ways the technology carries over and can be applied in everyday life. A former professional athlete, outside of work Philippe most likely can be found practicing sports.

Raymond is a mathematician and software engineer interested in differential geometry, programming language design, and liberating networked computing from the client-server paradigm. He also works on improving education methods in technical fields.

Terence is a longtime systems programmer with a passion for enabling uses of formal verification. Besides obsessing over category theory and dependently-typed language design with that aim, he loves animals, literature, music, running, laughter, fantasy, chess and go, hiking, math and physics, vegan restaurants, singing, sports, cartoons, and Dungeons and Dragons.

Tiago is a software engineer with a background in distributed systems. During his studies at University of Porto, he researched classical BFT consensus, and began working on FeBFT: a Rust SMR middleware, implementing the Mod-SMaRt protocol. In his free time, he loves to ride his bicycle in rural areas. He also likes to dabble in music production, working on his open-source projects, drawing and cooking.

Tobias is a theoretical computer scientist by training with a background in formal methods, mostly model checking and related areas. He is fond of walking up and down the ladder of abstractions, though he is only an amateur category theorist. He is most excited about the game theoretic aspects of Anoma and is contributing to the formal verification of the client. Outside of work, chances are that you will spot him on a bicycle and please ping him if you are looking for an addition to your a capella group in Berlin.

Tomáš is a software engineer with a background in computer games, web development, and finance. He strives to build robust, flexible and composable software with the help of statically-typed, functional languages. When not busy coding, Tomáš enjoys learning about the practical applications of computer science, engineering and mathematical research.

Urbano is a business professional with experience in management and process controlling. Deeply interest in blockchain technology and the transition between analog to digital world. His different interests include climbing, history, martial arts and chess.

Dr Vasily Sidorov is a long-term cryptography and privacy researcher with a focus on homomorphic cryptography and SMPC. He researched, developed and shipped innovative privacy solutions since 2011 and continues to do so now that he is part of Heliax and Anoma. Vasily has a versatile background that includes traditional finance, software development, academic research, entrepreneurship, and university teaching. Off work, Vasily sails, cycles, and sometimes partakes in archaeological excavations.

Xuyang is an applied cryptography engineer with a background in zero knowledge proof and blockchian in particular. He works on improving zero knowledge technologies in practice.

Yuji is a software engineer with a background in distributed ledgers, databases, and various SSDs. He is interested in improving reading/writing data in critical data systems, particularly in relation to failure analysis surrounding data consistency.

Yulia is a cryptographer with a background in secure multi-party computation protocols and threshold cryptography in particular. Currently, she is focused on zero-knowledge cryptography and blockchain and cryptocurrency technologies.