Michael Paulino
mi6paulino
Founder VIGIA.I ©️ tracking integrated data
Michael Paulino Solutions New York City
Longhui Yu
yulonghui
Large Language Model, Continual Learning, Trustworthy AI, Human‑centric/Data‑centric AI, Interactive ML
Peking University shenzhen
Zhonghan Wang
yogurt-shadow
PhD Student at University of Toronto.
University of Toronto Beijing, China
Ray Luo
Rayluo-mila
PhD candidate at Mila, McGill. Former MSRA intern in SRG. Also an amateur music composer.
@mila-iqia Montreal
Zhiyang Chen
jeffchen006
CS PhD Candidate at University of Toronto;
Research Engineer at Zircuit
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
Michael Straughan
mstraughan86
📱💻 | Full Stack Developer, slowly conquering the entire stack from electron to pixel!
Las Vegas, Nevada
Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.
Portland State University Portland, OR
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.
Formerly @grammarly, @pinterest, @Yelp I love San Francisco