Heliax is a remote-first team with cross-disciplinary members located around the world.
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.
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.
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.
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.
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.
Andy is a software engineer with a background in functional programming, compilers, and type theory. His main interest is in using (fancy) type systems to prove programs correct by construction, ideas he working to put to use in real-world contexts.
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.
April is a web programmer and Computer Science PhD candidate specialising in effect type systems and their applications to generative art, as well as the implementation of functional programming languages. Their interests include categorical semantics and the developed experience of programming languages, as well as lists, cats, and Pokémon.
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.
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.
Frank is a computer scientist with a background spanning programming languages, compilers, type systems, aerospace and reliable software. It is his ambition to use programming languages to make it easier and safer to write programs. Other interests include building, riding and maintaining his mountain bikes, and impriving his understanding of electronics and mechanics.
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.
Clara is a UX designer specializing in UI design. She has extensive experience working on design campaigns across websites and mobile apps and is driven by the conviction that human-centered design can convert complex processes into delightful, smooth, user-oriented experiences.
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.
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.
Celso is a software engineer with a background on web and mobile development. He has a soft spot for statically typed, functional programming languages, and an ever growing interest in compilers. He also loves to share knowledge and runs a functional programming study group in his hometown.
Gabriella is a digital marketing specialist with experience in SEO and translation. Her content has reached broader audiences in the fields of esports, contemporary art and book history. Through her work, she hopes to communicate with audiences unrestricted by borders. In her spare time, she dabbles in proofreading and editing, painting and drawing, and playing video games.
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.
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.
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.
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.
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.
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.
Ajinkya is a mathematician with a background in physics as well as electronics engineering. His interests include representation theory, quantum computing and distributed systems.
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.
Ferdinand is a theoretical computer scientist, with a focus on cryptography and mathematics. He is passionate about almost all things crypto due to its potential to empower the individual, and he enjoys discovering new techniques and applications. After having spent some time cryptanalyzing novel hash functions, he now advances cryptography as part of Heliax's R&D team. Outside of work, you'll probably find him scaling a rock face.
Samuli is a DevOps Engineer who is a big promoter of functional, statically typed languages and immutable infrastructure. When not testing in production, he is often found doing stuff with his Mal.
Being a multilingual scholar in legal and intercultural studies, Shiyi has established professional competency in translation, organisation, creative writing and communication before joining Heliax. Languages, history, travel, singing and cooking are some of her favourite pastimes. In recent years, she has developed a genuine interest in nature, society and the related sustainability issues.
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.
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.
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.
Wei is a Cryptographer with a background in provable and concrete security. He is currently interested in making blockchains and their applications more secure, scalable, and private. With influences from his PhD advisor Mihir Bellare and other collaborators, he strives to anchor his work within contemporary problems and challenges in society.
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.