4.7 KiB
I am an associate professor in the Department of Computer Science at Cornell University.
This year, I am away on sabbatical at Imperial College London. I will be back to Cornell in August 2025.
Previously, I was an assistant professor in the Department of Computer Sciences at the University of Wisconsin--Madison, and a postdoc at the Department of Computer Science at Cornell University, and in the Programming Principles, Logic, and Verification Group at the University College London. I obtained my PhD from the Department of Computer Science at the University of Pennsylvania.
I am funded by the National Science Foundation, the Office of Naval Research, and Facebook Research.
Research Interests
I design methods to formally verify that algorithms are correct. I am especially interested in programs satisfying quantitative guarantees, or other properties from mathematical or scientific applications.
A particular focus of my work has been verifying programs that use randomization. Such programs can be easy to show correct on paper, but surprisingly challenging for computers to analyze. Drawing inspiration from how humans reason about randomized algorithms, we can build simpler and more automated verification techniques. In the past, I've applied this approach to properties like statistical accuracy, incentive compatibility, Markov chain mixing, algorithmic stability, and differential privacy.
More broadly, I am interested in verification for all kinds of programs with rich mathematical structure and properties, such as continuous-time systems, programs with symmetries, economic mechanisms, runtime monitors for hierarchical policies, and algorithms from numerical analysis and applied mathematics.
Teaching
- Data Structures and Functional Programming (CS 3110): F23 S23 S22
- Category Theory for Computer Scientists (CS 6117): F22
- Foundations of Probabilistic Programming (CS 6182): F21
- Reasoning about Probabilistic Programs
Invited Course at OPLSS 2021: [slides] [recordings] - Security and Privacy in Data Science (CS 763): F20 F19
- Introduction to the Theory and Design of PL (CS 538): S20 S19
- Topics in Security and Privacy Technologies (CS 839): F18
Awards and Honors
- 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
Service
- 2026 ESOP, LICS
- 2025 POPL, ICALP-B
- 2024 OOPSLA, CSF, CCS, MFPS
- 2023 CSF, ICALP-B, LICS, OOPSLA, MFPS
- 2022 POPL, PLDI, MFPS (co-chair)
- 2021 ESOP, PLMW@POPL, CSF, AAAI, COLT, WoLLIC, MFPS
- 2020 AAAI, CSF, LAFI, WoLLIC, PLMW@POPL, OOPSLA (ERC)
- 2019 POPL, PLMW@POPL, POST, CSF, DARS (co-chair)
- 2018 LICS, WWW
- 2017 FCS, TPDP, MFPS
- 2016 PLDI (ERC)
Blogging
I've greatly enjoyed blogging for PL Perspectives!