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.
Ajinkya is a mathematician with a background in physics as well as electronics engineering. His interests include representation theory, quantum computing and distributed systems.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Shi Yi Tan
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.
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.
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.
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.
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.
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.
Be a part of Heliax and join the teams empowering humanity.