My research interests are in programming languages, where I work toward making the construction of reusable, trusted software components possible and effective. My research has spanned program analysis; semantics; verification and model-checking; security; logic; complexity; and algorithms.
Together with Milijiana Surbatovich and Leo Lampropoulos, I direct the laboratory for Programming Languages at the University of Maryland (PLUM).
I currently serve as the faculty advisor to Technica, the largest hackathon for underrepresented genders in the world.
News
- I'm giving a talk on Principal Gradual Type Inference at NJPLS on May 22, 2026.
- I'll be presenting lectures on A Gradual Introduction to Programming Language Research at the Cornell, Maryland, Max Planck Pre-doctoral Research School, August 3––7, 2026.
- I'm serving on the PLDI 2026 Review Committee.
- I'm serving on the POPL 2026 Program Committee.
- New paper: Webs and Flow-Directed Well-Typedness Preserving Program Transformations to appear at PLDI'25.
- New paper: Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis to appear at ICFP'24.
- I'm serving on the ICFP 2024 Program Committee.
- New paper: Absynthe: Abstract Interpretation-Guided Synthesis to appear at PLDI'23.