Scholar
Justin Hsu
Google Scholar ID: HsfKE0sAAAAJ
Cornell University
Citations & Impact
Citations
11,530
H-index
29
i10-index
49
Publications
20
Co-authors
66
list available
Contact
Publications
Resume (English only)
Academic Achievements
- 2024 EATCS Presburger Award
- 2024 Royal Society Wolfson Visiting Fellowship
- 2022 CAV Distinguished Paper Award
- 2021 POPL Distinguished Paper Award
- 2020 POPL Distinguished Paper Award
- 2020 NSF CAREER Award
- 2018 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award
- 2015 Simons Award for Graduate Students in Theoretical Computer Science
- Funded by the National Science Foundation, Office of Naval Research, and Facebook Research
- First PhD student Jialu Bao successfully defended her thesis in 2025 and will join Northeastern University as a postdoc
- Papers accepted to OOPSLA 2025 and BMQL 2025
Background
- Associate Professor in the Department of Computer Science at Cornell University
- Research focuses on formally verifying correctness of algorithms, especially programs with quantitative guarantees or properties from mathematical/scientific applications
- Particular emphasis on verifying randomized programs by drawing inspiration from human reasoning to develop simpler and more automated verification techniques
- Applied this approach to statistical accuracy, incentive compatibility, Markov chain mixing, algorithmic stability, and differential privacy
- Broader interests include verification of programs with rich mathematical structure, such as continuous-time systems, symmetric programs, economic mechanisms, runtime monitors for hierarchical policies, and algorithms from numerical analysis and applied mathematics
