Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
@Alibaba Shanghai Xuhui
Xiaoyang Xu
xyxu2033
TCS Student at University of California, Santa Barbara
University of California, Santa Barbara Santa Barbara, CA
Junwei Lan
Lan13
Supreme Display of Talent
University of Science and Technology of China Hefei China
Qingwei Li
Lslightly
laziness overflow but struggle to work hard and discover something interesting in life.
University of Science and Technology of China Hefei, Anhui, China
Haoran Peng
HurryPeng
Ph.D. student at Paul G. Allen School of Computer Science & Engineering, University of Washington
University of Washington Seattle, WA
PRO
PRO-2684
Undergraduate at USTC
University of Science and Technology of China Hefei, Anhui, China
Yikang Yue
npz7yyk
A UIUC PhD student working on Machine Learning Systems.
University of Illinois Urbana-Champaign