Cryptium Labs is a team of researchers and engineers with brackgrounds in diverse fields, including but not limited to decentralised protocols, machine learning, games, programming language theorists and design, functional programming, and economics.
Adrian is one of the founders of Cryptium Labs. He worked at Tendermint/Cosmos as a core developer. His current focus areas are making blockchains scalable and interoperable, as an engineer, researcher as well a connection builder. His main interests lie within cross-chain communication, BFT consensus systems, privacy-preserving systems, and on-chain governance.
Awa is one of the founders of Cryptium Labs. She worked as a data scientist and software engineer at Chainalysis, specialised in the application of machine learning to distributed ledger data, and as a researcher at Cosmos. The areas of research she focuses on are applied cryptography for privacy and Proof-of-Stake security.
Christopher Goes is a protocol developer & researcher at Tendermint/Cosmos primarily focused on inter-blockchain communication, formally verifiable smart contract languages, and proof-of-stake incentive design. He is also a founder of Cryptium Labs and the author of the Wyvern Ethereum DEX protocol.
Tomáš is a software engineer with a background in computer games, web development and finance. He strives for building robust, flexible and composable software, mainly with the help of statically-typed and functional languages. When not busy coding, he enjoys learning and thinking about practical applications of computer science, engineering and maths research.
Marty Stumpf is dedicated to life-long learning in a broad range of areas. Her current passion is functional programming applied to cryptocurrencies. Her previous deep interest and education in economics led to multiple cited research papers that focus on public goods, specifically climate change policy. She is enthusiastic to apply her skills in constructing economic models to the blockchain world.
Jeremy Ornelas recently graduated from Case Western Reserve University. His studies led him down the path of abstract algebra, category theory, and expression in programming languages. He now researches BFT consensus systems, finality, type theory, including dependent and linear types, and efficient implementations of functional 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, and he is excited to put these ideas to use in real-world contexts.
Ash is a software engineer & researcher, with interests in p2p consensus networks, formal systems, and programming/logic languages. His current focuses are in programming languages for consensus networks, and interoperable, modular crypto-finance protocols.
Sylvain is a software engineer with a background in programming language specification and formal proofs, interested in improving current protocols and demonstrating their properties using functional and formal languages. Additionally, he is an environmental activist and tries to help as much as possible with the society's current transition.
Cryptium Labs started as an infrastructure operator for Proof-of-Stake (PoS) public blockchains, offering secure and available digital attestations-as-a-service for supported networks, such as Tezos, Cosmos and Polkadot. The company was founded in Zug, Switzerland in June 2018 by Adrian Brink, Awa Sun Yin, and Christopher Goes.
We value your privacy and anonymity. Thus, this website does not use any cookies, trackers or equivalent privacy-violating technologies.