Yi Chen
CHN-ChenYi
We reach for the stars, act like men.
@OrderLab, University of Michigan Ann Arbor, Michigan, USA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Chen Geng
gcgeng
CS Ph.D. Student @ Stanford. Previously Hons. B.Eng. in CS @ ZJU.
Stanford University
Alex Chi Z
skyzh
building database systems @databricks, previously @cmu-db; a bubble tea every day makes me happy right away
Databricks 🧱 Bellevue, WA, USA ⇌ Shanghai, China
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA