Anthony is a self-taught researcher with a deep passion for formal mathematics and computer science. He has been contributing to formal math projects since the tender age of 14 and has been programming for over 15 years, having tackled projects in dozens of languages and even implemented his own dependently-typed languages and SAT solvers. He finds joy in a quiet life, where he can create and appreciate simple, beautiful, and general tools of thought that push the boundaries of what's possible.

Apriori is an erudite researcher with a passion for learning about the conceptual fabric of the observable universe. They have a variety of life experiences in leadership, strategy, trading, operations, and failure. Prior to working with Heliax, Apriori worked professionally as a protocol researcher / technical writer focusing on Ethereum and MEV. Apriori loves cats and has more than they can count. In their spare time Apriori enjoys long runs, traveling, and erudition.

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.

Asa is a seasoned Web3 strategist with eight years of experience in blockchain infrastructure, community building, and strategic communication. He has led global community initiatives at CoinDesk and supported innovative projects like Polygon, Avalanche, and Axie Infinity, driving engagement through content creation and cross-chain collaborations. At Heliax, he focuses on fostering vibrant, informed communities that bridge complex blockchain innovations with meaningful user engagement.

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.

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.

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

Christophe is a computer scientist with a focus in programming language design. His PhD research focused on designing a reflective distributed stream-based language for large-scale networks. Besides programming he likes 90's hip-hop, good food, and motorcycling.

Dieter is a crypto-native builder, seasoned investor, and trained cryptographer. He previously led business development at Polkadot (Web3 Foundation), driving initiatives related to their token launch and fostering builder engagement. Additionally, he serves as a partner at Dialectic AG, a Swiss-based capital enterprise catering to crypto-native clients. Before transitioning to the crypto space, Dieter worked as an investment professional at a CAD 10B pension & endowment fund.

Dominik is an event specialist with extensive experience in the crypto space, including roles at the Ethereum Foundation and Paralelní Polis. He has produced events like ETHPrague and various music festivals, combining technical expertise with a passion for creative production. Outside of work, Dominik enjoys music and cycling, embracing an active and creative lifestyle.

Enrique has formal training in cryptography and maths. He has worked on the desgin and analysis of multi-party computation protocols in general, and e-voting systems in particular. He is also interested in zero-knowledge proofs and their applications to distributed systems and verifiable computation. He also has experience with provable security, including both game-based and the simulation-based UC framework. On the practical side, he likes to prototype and benchmark proof of concepts. When not lost in his thoughts, Enrique spends his time with his family, and enjoys photography, reading, and hiking.

Felipe is a seasoned security engineer with a strong background in developing program analysis tools and security fuzzers. His journey into Web3 has been shaped by his expertise in analyzing and fortifying systems. In his free time, Felipe enjoys collecting performance data from his bike rides, preferably in the great outdoors.

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.

Harrison is a Software Engineer specializing in user interfaces, with experience dating back to the Actionscript era. Over the years, he has developed numerous websites, apps, and interactive installations. Outside the digital realm, Harrison enjoys playing trombone and performing with his Carnival group.

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.

Jamie Murdoch Gabbay is a theoretical computer scientist with a background in mathematical foundations. His main interest is to use maths to bring simplicity to problems in computing, so that the essence of the problem can be understood. He has authored papers on topics ranging from set theory to cryptography to distributed systems. A common theme in his research is using tools from one area to simplify and solve problems in another.

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.

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.

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.

Maurice is a business professional, driving ecosystem growth and partnerships for decentralized systems. Outside work, he is excited about programming, road cycling, and arts.

Michael is a theoretical chemist by training with a PhD in Quantum Monte Carlo methods. He has previously worked in the Ethereum ecosystem as a Solidity developer on modular smart contracts, permission management, and voting. Besides being excited about intent-centric applications, he likes plants, electronic music, and weekend trips with his self-built camper van.

Michael does growth and business development and has a background in Web3 start ups and finance. Prior to Heliax, Michael was an early employee and Head of Growth at Centrifuge, a pioneering real-world asset protocol. He has also done consulting and advisory work for a number of large Web3 projects like Polkadot and Aave. Prior to Web3, Michael was a hedge fund trader and investment banker with a focus on healthcare and technology. Michael has a MSc in Chemistry.

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.

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.

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.

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.

Zach is a full-stack marketer specialized in communications and content for decentralized technologies. His interest in open-source tech and big, ambitious ideas with the potential for socioeconomic change led him to leadership roles at Web3 startups, for Polkadot, and ultimately at Heliax for Anoma and Namada.