Basic Information
CV - Research Statement - Research Notebook (~1 MB) Recent Work
A Hybrid Logical Framework
(PhD Thesis)
A Constructive Approach to the Resource Semantics of Substructural Logics
(with Frank Pfenning)
PersonalBlogFonts 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. |