Basic Information
CV - Research Statement - Research Notebook (~1 MB) Recent Work
Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy
(with Benjamin Pierce, ICFP'10)
Differential Privacy for Collaborative Security
(with Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, and Jonathan M. Smith, EuroSec'10)
A Hybrid Logical Framework
(PhD Thesis)
A Constructive Approach to the Resource Semantics of Substructural Logics
(with Frank Pfenning)
PersonalBlogFonts More Fonts Old page Music (1) Music (2) Music (3) ColophonIf you are using a browser that supports @font-face, then this page is set in Austin, a font I made. |