Mamy Ratsimbazafy
mratsim
Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing
Paris
Tess Dore
tess-eract
i like geometry, arithmetic, and privacy. these things are more closely related than they might appear.
note: my name appears as "Dan Dore" in some places.
@lita-xyz Oakland, CA
Alan Li
lialan
Compilers, virtual machines, programming language implementations, and zero-knowledge proofs.
Bellevue, Washington
isis agora lovecruft
isislovecruft
i adore my sixty four. i'm occasionally available for cryptographic contracting/consultant work. curriculum vitae: https://patternsinthevoid.net/cv.pdf
Independent Consultant/Contractor San Francisco
Marty Stumpf
thealmarty
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.
BC, Canada
Anthony Hart
AHartNtkn
Functional Programmer and Formal Verification Engineer with experience in Haskell and Coq
Heliax
Zama
zama-ai
Zama is an open source cryptography company building state-of-the-art FHE solutions for blockchain and AI.
Paris
Hridam Basu
hridambasu
CTO, Senior Cryptography Architect/Researcher/Engineer
(Zero-Knowledge Proofs, Secure Multiparty Computation, Fully Homomorphic Encryption, etc)
Rump Labs Blockchain, Cryptography, Artificial Intelligence, Computer Science, Economics, et al (not necessarily in that order)
Mark Greenslade
qcortex
A left-bank drifter. A mountain hawk. A stone in the desert. A speck of dust.
also @momipsl
@Trinkler Zug, Switzerland.
Jonas Pauli
jonas089
Software Engineer @celestiaorg - verifiable computation and complex systems.
Celestia Zurich
PreviousNext