Meet the Team

Marcin Bugaj

Core Cardano Smart Contract Developer, Ex Embedded Systems Engineer, M.Sc Electronics and Telecommunication

Jerry Kwok

Ex. Research & Incubation at Hailstone Labs, BBA at Hong Kong University of Science & Technology

Mamy Ratsimbazafy

Ex. Cheif Scientist at Taiko Labs, Ethereum Core dev at Nimbus

Lewis Rewell

Core maintainer of Rust-Cheery project, LLVM-Rust backend, B.S. University of Bath

Alan Li

Ex. Head of LLVM team at zkSync

Marty Stampf

Ex. Founding engineer at Anoma, core contributor to Juxiv and Plutus languages, PhD at University of Victoria

Hadas Zeilberger

Ex. Consensys, Cryptography PhD at Yale ACL, Mathematics B.S. at Columbia University Applied Cryptography Researcher

Daniel Dore

Ex. Founding cryptographer at Nexus, cryptographer at MobileCoin, Mathematics PhD at Stanford, Mathematics B.S at Princeton

Daniel Lubarov

Co-Founder of Polygon Zero, building Plonky2, Plonky3 and the Polygon Zero zkEVM

Ventali Tan

Cofounder of Delendum, ex. Redpoint Ventures and Hillhouse, Cofounder of S2R.AI

Morgan Thomas

Ex. CTO of Platonic Systems, Orbis Labs, Formal Logic M.S at UColorado

Morgan ThomasEx. CTO of Platonic Systems, Orbis Labs, Author of xxx, Formal Logic M.S at UColorado

Morgan is an R&D engineer with a background in software engineering, cryptography, mathematical logic, and philosophy. Beginning as a hobbyist programmer at the age of 13, Morgan’s interests soon branched out into programming languages and compiler technology. As a college student, Morgan began doing independent research into mathematical logic with a focus on logical paradoxes. He continued this research at the University of Connecticut as a grad student, where he was sole author on three publications in prestigious logic journals.

After earning an MA in Philosophy, Morgan became a full stack engineer. He worked on apps in finance, telecommunications, law, and supply chain risk analysis. The beneficiaries of this work included some of the world’s most important financial institutions, and other major corporations and government agencies. Since 2021, Morgan’s main professional contributions have been in zero knowledge cryptography, compilers for zero knowledge cryptography, and decentralized protocols. The beneficiaries of this work included Orbis Labs, Casper Association, and Lita.