Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Justin Le
mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD
@Anduril Orange, CA
Danapana Akash Reddy
akashreddy-ops
🎓 Computer Science Student | Aspiring Software Engineer | 2nd year at Lovely Professional University | Web developer, AI Enthusiast | C, Java, Python.
gordonm
gordonm867
If I had known programming required writing biographies, I would have given up long ago.
USA
Jason Chen
chezbgone
interested in functional programming, programming languages, and type theory
Stone Tao
StoneT2000
Robot Learning, RL, Simulation. PhD @ UC San Diego. Student Researcher @allenai.
Co-founder @Lux-AI-Challenge.
Lixing Liu
llxxll12345
A CS student at Georgia Tech. Enjoy learning and working on computer vision and robotics.
Michael Chen
ML-Chen
Member of Policy Staff at METR •
ex-Software Engineer at Stripe •
Georgia Tech
Stripe San Francisco
PreviousNext