Registered user since Fri 5 May 2023
Name:Mike He
Country:United States
Affiliation:Princeton University
Personal website: https://cs.princeton.edu/~dh7120
X (Twitter): https://x.com/1SHL10
GitHub: https://github.com/AD1024
Research interests:Programming Languages, Formal Methods, Distributed Systems, Agentic Systems
Contributions
ICFP/SPLASH 2025-profile
View general profile
View general profile