Guangyu (Gary) HU
Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
The Hong Kong University of Science and Technology Hong Kong
Ahmet Akkoç
madprogramer
Help subtitle the world with Nekocap!
https://nekocap.com/
ZiteLab ApS Other side of the world
Chun Tian
binghe
Common Lisp programmer and HOL proof engineer
Australian National University Canberra, Australia
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
@grammarly (Formerly @pinterest, @Yelp) I love San Francisco