mratsim
Follow
Brian
kingbri1
Known as kingbri online. Med + developer.
Loves ML, apps, and backend to approach my goal of total optimization.
United States
Xuehai Pan
XuehaiPan
Ph.D. from Peking University
Interested in Reinforcement Learning & Multi-Agent Systems & Distributed Computing.
CFCS @ PKU Peking University, Beijing
Thomas Coratger
tcoratger
PhD in applied mathematics.
Research at Ethereum Foundation.
Ethereum Foundation France
Quang Dao
quangvdao
PhD Student at CMU.
Working on high-performance, formally verified succinct zero-knowledge proof systems
Pittsburgh, PA
Chen Kai
GrapeBaBa
https://optimism-java.github.io/
Stefanos Chaliasos
StefanosChaliasos
PhD Student @imperial College London / Security Researcher @zksecurity
Imperial College London London, UK
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
Giacomo Fenzi
WizardOfMenlo
PhD student in Cryptography at EPFL.
Interested in proofs systems, zkSNARKs, and more!
EPFL Italy
HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
PreviousNext