Mike He (Preferred)
Deyuan He
Mike He
PhD student, Department of Computer Science, Princeton University
Joined
September 2020
Names
,
Emails
****@cs.washington.edu (Confirmed)
****@princeton.edu (Confirmed)
Personal Links
Career & Education History
PhD student
Department of Computer Science, Princeton University (cs.princeton.edu)
2022 – 2027
Undergrad student
Paul G. Allen School of Computer Science & Engineering, University of Washington (cs.washington.edu)
2018 – 2022
Advisors, Relations & Conflicts
Expertise
Machine Learning Systems
Present
Compilers
Present
Formal Methods and Verification
Present
Distributed Systems
Present
Publications
Co-Authors
- Aarti Gupta
- Aishwarya Jagarapu
- Akash Gaonkar
- Altan Haan
- Andrew Cheung
- Ankush Desai
- Bo-Yuan Huang
- Chi Jin
- Doug Terry
- Gu-Yeon Wei
- Gus Henry Smith
- Haoyu Zhao
- Jared Roesch
- Jennifer Brennan
- Jiawei Li
- Marisa Kirisame
- Sanjeev Arora
- Sharad Malik
- Steven Lyubomirsky
- Thierry Tambe
- Tianqi Chen
- Venugopal Veeravalli
- Vishal Canumalla
- Yi Li
- Zachary Tatlock