Michael
heueristik
Researcher & software engineer embracing decentralization, collaboration, and the open-source movement.
Decentralized
Sofía Celi
claucece
Cryptography @brave. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare @thoughtworks @dyne
@brave AMS/LIS/UIO
Geometry Collective
GeometryCollective
The Geometry Collective is a group of researchers at Carnegie Mellon University focusing broadly on the interaction between geometry and computation.
Pittsburgh, PA
Misha Volkhov
volhovm
Cryptography PhD, ZK engineer at O(1) Labs. Org-mode and NixOS fan, philosophy enjoyer, hyperactive fix-it-or-forget-it-what-was-I-talking-about?
Edinburgh
Barton Rhodes
bmorphism
"Parametrised optics model cybernetic systems, namely dynamical systems steered by one or more agents. Then ⊛ represents agency
being exerted on systems"
@plurigrid san francisco
Emilia Hane
emhane
ethereum core dev • professional experience in execution & consensus layer clients written in rust
Jean-Philippe Aumasson
veorq
Cryptography - Books https://nostarch.com/seriouscrypto & https://www.crypto-dictionary.com
@taurusgroup Switzerland
Anthony Hart
AHartNtkn
Functional Programmer and Formal Verification Engineer with experience in Haskell and Coq
Heliax
João Marcos
marcospb19
Cat and crab admirer! Sometimes I contribute to Rust's ecosystem. Working with distributed systems, building CLI tools, and having tons of fun.
Brazil
Quantifier
Isaac-DeFrain
Rust, OCaml, Functional Programming, ZK, BFT, Blockchain, Consensus,
Protocol Design, Mathematics
@Granola-Team Vancouver, BC
Fraccaroli Gianmarco
Fraccaman
Infrastructure Engineer / Rust developer. Interested in Cryptography and Finance. Bitcoin enthusiast.
@heliaxdev Switzerland
Jon Nadal
jonnadal
I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
Martin R. Albrecht
malb
Cryptography Professor at King's College London and Principal Research Scientist at SandboxAQ
London, UK
M Farkas-Dyck
strake
Carbon-based aqueous organism, amateur mathematician and physicist, professional programmer, melophile, relentless student
Mountain View, California, Earth
PreviousNext