I’m currently an AARMS postdoc in the mathematics department at Dalhousie University, in Halifax, Nova Scotia. I received my PhD from Carnegie Mellon University, Pittsburgh in 2010, under the direction of Steve Awodey.
My research interests lie mainly in category theory and logic, including higher category theory, topos theory, and dependent type theory, and constructive mathematics. More.
Office: Chase Building 252 — map.
(On a funny half-floor; use the small side stairs.)
Email: [reCAPTCHA-protected; reveal]