I'm a post-doc at CMU CyLab, working under Anupam Datta. Previously I got my PhD under Mike Hicks within the programming languages group (PLUM) of the Computer Science department at the University of Maryland, College Park.

My interests center around modeling, measuring, and limiting (adversary) knowledge in the context of information security. I'm also interested in probabilistic programming which serves as a convenient tool for these tasks, and secure multi-party computation which is abound in knowledge-related problems.

See more in my papers and my talks.


  • The slides for my HCSS talk can be found on my talks page..
  • The slides for my Dagstuhl talk can be found on my talks page.