Skip to content
View quangvdao's full-sized avatar

Block or report quangvdao

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@mimoo
David Wong mimoo
hello

@zksecurity New York

@mpenciak
Matej Penciak mpenciak

Lurk Lab New York City

@lecopivo
Tomáš Skřivan lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
@RabbitCabbage
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

@galin-chung-nguyen
Galin (Chung) Nguyen galin-chung-nguyen
Zero-knowledge proof

tracuusaoke Vietnam

@DanielRrr
Daniel Rogozin DanielRrr
Algebraic & modal logic and category theory

Noeon Research Kingston upon Thames

@mitschabaude
Gregor Mitscha-Baude mitschabaude
Co-founder @zksecurity. TypeScript hacker with 🍓 for crypto, zksnarks, P2P, WebAssembly, React, open source

@zksecurity Vienna, Austria

@ccodel
Cayden Codel ccodel
First-year formal methods PhD student at Carnegie Mellon University.
@JamesGallicchio
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

@Jiangkm3
Kunming Jiang Jiangkm3
I am a PhD candidate in computer science studying at CMU.
@HarrisonGrodin
Harrison Grodin HarrisonGrodin
PhD Student in PL @ CMU CSD

Carnegie Mellon University Pittsburgh, PA