3.6 KiB
I will be moving to Cornell University in Fall 2021.
I am an assistant professor in the Department of Computer Sciences at the University of Wisconsin--Madison.
I am always looking for good students!
Previously, I was a postdoc at the Department of Computer Science at Cornell University, and at the Programming Principles, Logic, and Verification Group at the University College London. I was a graduate student in the Department of Computer Science at the University of Pennsylvania.
I am funded by an NSF CAREER award and a Facebook Research award.
Research Interests
I design methods to formally verify that programs are correct, especially programs that use randomization. Such programs can be easy to show correct on paper, but surprisingly challenging for computers to analyze. Accordingly, my research blends ideas from two classical areas of computer science: randomized algorithms from theoretical computer science (TCS) and formal verification.
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 accuracy, incentive compatibility, Markov chain mixing, and various notions of algorithmic stability.
A particular focus of my work has been differential privacy, a rigorous definition of privacy that is currently under extensive study. I have investigated a variety of formal methods---such as type systems and program logics---to verify that programs are differentially private.
From a more traditional algorithms perspective, I am also interested in applying differential privacy to optimization, machine learning, and mechanism design.
Teaching
- Reasoning about Probabilistic Programs
Invited Course at OPLSS 2021: [slides] [recordings] - Security and Privacy in Data Science (CS 763): F20
- Introduction to the Theory and Design of PL (CS 538): S20
- Security and Privacy in Data Science (CS 763): F19
- Introduction to the Theory and Design of PL (CS 538): S19
- Topics in Security and Privacy Technologies (CS 839): F18
Service
- 2022 POPL, PLDI
- 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 the PL Perspectives blog!