About

I am an Assistant Professor in the Department of Computer Sciences at the University of Wisconsin–Madison and a member of the MadS&P and madPL groups. My research uses techiniques from programming languages, with a particular focus on type systems, to define, analyze, and enforce different classes of security across a wide range of software systems. It builds general solutions for real systems security problems through connections to other approaches. For example, connections to cryptogrphy support better integration of cryptographic primitives into larger system with end-to-end security guarantees. My results in choreographic programming smooth development of correct and secure concurrent and distributed systems.

I hold a Bachelor's degree in Mathematics – Computer Science from Brown University (2012), where I worked with Shriram Krishnamurthi, and a PhD in Computer Science from Cornell University (2021), where I worked with Andrew Myers and Ari Juels and was supported by a 2017 NDSEG Fellowship. I was also a software engineer at TripAdvisor from 2012 – 2015, where I worked on backend infrastructure, and a postdoc at the Maryland Cybersecurity Center and the PLUM Lab at the University of Maryland from 2021 – 2023.

I like to spend my spare time playing Ultimate Frisbee, going for bike rides and hikes, juggling, and playing board games, card games, and table-top games.

Students

I am privilaged to work with the following wonderful group of students.

Graduate Students

Undergraduate Students

Alumni

Current students are listed in alphabetical order by last name.
Alumni are listed in reverse chronological order by graduation date.

I applied for faculty positions in the 2021 – 2022 cycle. For anyone interested, my application materials can be found below.

Research Statement Teaching Statement Diversity Statement