San Francisco, CAUSA
Hometown: La Canada, CA
September 3, 2013
I'm a mathematician. :)
Got interested in dependent type theory because of applications to formal homotopy theory.
Fairly good. Haskell, Agda, Coq, ML. The usual suspects.
Hi! I'm mathematician who recently came to the Bay Area. I'm interested in homotopy theory, category theory, and interactions with logic and computer science. I was a member of the Univalent Foundations last year at the IAS.