Highlights
- Pro
Yishuai Li
liyishuai
PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @rocq-community @ocaml-community; Contributor @rocq-prover.
@DeepSpec Tokyo
Xueshen Liu
xenshinu
University of Michigan Ann Arbor
Minkyoung Cho
MinkyoungCho
CSE PhD @ UMich | 2024&2025 Intern @ NVIDIA | AI Researcher @ SAIT (Samsung Advanced Institute of Technology)
The University of Michigan Ann Arbor, MI, USA
DAIR.AI
dair-ai
Democratizing Artificial Intelligence Research, Education, and Technologies
Planet Earth
Mengwei Xu
xumengwei
Assistant Professor @ BUPT -
Check out the projects of our team at:
https://github.com/UbiquitousLearning and https://github.com/BUPT-OS
Ruiyang Zhu
ry4nzhu
Ph.D student in Computer Science & Engineering @ University of Michigan
University of Michigan, Ann Arbor MI, 48105
Jiachen Sun
jiachens
CSE Ph.D. @ Univ. of Michigan, Ann Arbor
University of Michigan, Ann Arbor Ann Arbor
Alfred Chen
alfchen
Assistant Professor in CS@UC Irvine. Lead AS^2Guard (Autonomous & Smart Systems Guard) research group @ UCI. UMich CSE Alum.
University of California, Irvine Irvine, CA