Thomas Coratger
tcoratger
PhD in applied mathematics.
Research at Ethereum Foundation.
Ethereum Foundation France
abhi
abhvious
professor of cs at Northeastern, cryptography, security researcher, Google engineer
Giacomo Fenzi
WizardOfMenlo
PhD student in Cryptography at EPFL.
Interested in proofs systems, zkSNARKs, and more!
EPFL Italy
Cedoor
cedoor
Software Engineer | Working on open, decentralized and privacy-focused technologies for a real user-centric web.
Portugal, Lisbon
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Ara Adkins
iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
CTO & CFO @tactile-metrology, Principal Engineer @reilabs Amsterdam, NL
Worldcoin
worldcoin
Building the world’s largest identity and financial network as a public utility, giving ownership to everyone.
PreviousNext