Abuzer is the Director of Engineering at Heliax. His background is in ambient intelligence hardware development for clinical environments in the healthcare industry with previous experience as the co-founder of a company that created novel 3D printing technologies for US federal research programs. Prior to that, he was a microbiology research fellow working on the development of a quadrivalent test for dengue virus and designed genetic modifications of kinases to study their role in intracellular bacterial pathogenesis.
Adrian is CEO at Heliax, Co-Founder of the Anoma project, and a member of the Anoma Foundation Council. Prior to Heliax, Adrian co-founded, scaled and eventually sold Cryptium Labs, an infrastructure operator that provided PoS validation from bunkers in the Swiss Alps, while simultaneously building Metastate, an R&D company that upgraded layer-1 protocols valued at over $4bn. Adrian was formerly the 3rd core protocol engineer to work on building the Cosmos stack at Tendermint and completed a graduate thesis on censorship-resistant e-voting systems as a means of helping the Catalan people to gain their independence.
Ajinkya is a mathematician with a background in physics as well as electronics engineering. His interests include representation theory, quantum computing and distributed systems.
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.
Alexander Ole Miles
Alex is a marketing and communications professional with experience in establishing and scaling marketing efforts in early-stage startups. After co-founding a creative agency, Alex found a deep interest in blockchain technology and the possibilities it brings to the connected world leading him to write his thesis on its potential for dissolving surveillance capitalism. Alex hopes to be an influential advocate for its potentiality in order to drive the adoption of systems that inherently maintain human sovereignty and autonomy.
Alexandre is a computer scientist with background in entrepreneurship and cryptography interested in zero-knowledge proofs of knowledge and elliptic curves. Previously founder of a proptech startup, he is now dedicated to create cryptographic decentralized systems that will empower individuals with more freedom.
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 Sun Yin
Awa is the Product Development Lead at Heliax, Co-Founder of the Anoma project, and President of the Anoma Foundation Council. After writing papers advocating for the deanonymisation of Bitcoin and working as a software engineer and researcher at Chainalysis and Tendermint respectively, it became clear to Awa that blockchains provided poor security and privacy guarantees. She went on to co-found Cryptium Labs, a proof-of-stake validator in Switzerland, and Metastate, a blockchain R&D company, before co-founding Heliax.
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 is the Research & Development Lead at Heliax, Co-Founder of the Anoma Project, and a member of the Anoma Foundation Council. He is also Co-Founder of the proof-of-stake validator Cryptium Labs and the blockchain R&D company Metastate, and formerly led on the design and development of the Inter-Blockchain Communication Protocol (IBC) at Tendermint. Christopher didn’t always work in blockchain, though, having started his career programming autonomous underwater robotic submersibles. He switched to designing distributed ledger technology when it became clear that those coordination problems were not going to solve themselves.
Fatemeh was acting CTO and research team lead at Web3 Foundation working on the Polkadot project. She obtained her PhD in Electrical Engineering in the Computer Security and Industrial Cryptography (COSIC) lab at KU Leuven. Her PhD thesis focused on investigating and improving routing in anonymous communication networks.
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.
Iraklis obtained his Ph.D. in applied cryptography and computer science from Telecom Paris Tech. He hold senior research positions at universities and institutes in France, USA and Switzerland including EURECOM, EPFL, NJIT, University of Arizona and Inria. The last years his focus is in industrial cryptography with a special focus in secret computing. He also acts as an auditor for cryptographic protocols in the web3 ecosystem.
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.
James is a software engineer with a background in distributed systems and web development. He's excited to be working with distributed ledger technologies. Outside of coding, he's interested in gaming and the outdoors.
Jan Mas Rovira
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.
Memas is a software developer with a full stack background. He spent most of his career in finance, lately building customer-facing banking applications. His current interests include building web applications with features and user experiences that were earlier only possible on native application platforms.
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.
Pablo is a software engineer with a background in mobile and web development, mostly in financial applications. He loves functional programming and sharing knowledge, and taught Backend Web Development for some time, while also running a functional programming study group. In his free time, he loves playing videogames and boardgames, writing fiction, reading sci-fi, drawing and cooking.
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.
Raymond E. Pasco
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.
Roya is a digital illustrator, with a professional background in animation. She is deeply passionate about visual art and it's importance in augmenting non-visual concepts. In her spare time Roya enjoys traveling the world and being inspired by the rich variety of art, design (and food) to be found across the globe.
Simon is a cryptographer interested in curve-based cryptography and deployed protocol security. His current interests include post-quantum cryptography, pairing-based applications, volleyball, and the saxophone.
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.
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.
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.
Be a part of Heliax and join the teams empowering humanity.
- Creative Senior Front-End EngineerCraft high-end front-end websites and applications.
- Protocol Security Team LeadCreate a team to discover and prevent vulnerabilities in distributed systems.
- Senior DevOps EngineerBuild core infrastructure at scale.
- Zero-Knowledge Cryptographer & Protocol DeveloperDesign and implement cutting-edge, zero-knowledge proofs.