PhD Student at Carnegie Mellon University. Interested in zero-knowledge proof systems and post-quantum cryptography.
- Pittsburgh, PA
- https://quangvdao.github.io/
- @QuangVDao
Tomáš Skřivan
lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
Sharon Dung
RabbitCabbage
I'm an undergraduate of ACM Honor Class 2021 at Shanghai Jiao Tong University. @acm-21 SJTU
University of Illinois Urbana-Champaign
Daniel Rogozin
DanielRrr
Algebraic & modal logic and category theory
Noeon Research Kingston upon Thames
Gregor Mitscha-Baude
mitschabaude
Co-founder @zksecurity.
TypeScript hacker with 🍓 for crypto, zksnarks, P2P, WebAssembly, React, open source
@zksecurity Vienna, Austria
James Gallicchio
JamesGallicchio
PhD student studying PL/FM.
I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
Carnegie Mellon Pittsburgh, PA
Harrison Grodin
HarrisonGrodin
PhD Student in PL @ CMU CSD
Carnegie Mellon University Pittsburgh, PA