Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Litao Zhou
ltzone
Ph.D. student @hkuplg, Programming Languages
The University of Hong Kong Hong Kong
Ultimanecat
Graduated from CS Department, Peking University. Joined @Huawei since 2021
_(:з」∠)_
@Huawei Beijing, China
Magic Mai
magic3007
🚀 Research Intern@NVIDIA’25 & Bytedance Seed’24 | Ph.D. & B.S. in CS@PKU. Focus on Efficient AI, Algorithm/Hardware Co-Design, and AI4Chip Design.
Peking University @PKU-IDEA Beijing, China
Haoxiang
yanghaoxiang7
1st year PhD rotation student at JHU, M.S. in ECE at CMU, B.S. in CS at Peking University Turing Class
Johns Hopkins University Baltimore, MD
Wen Kokke
wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai
Scotland
Guannan Wei
Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University
Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Contributor @rocq-prover.
@DeepSpec Tokyo
PreviousNext