Research heartbeat
If you’re wondering what I’ve been up to lately, and type theory doesn’t scare you away: I’ve been working on the homotopy type theory project, which is approximately an attempt to make sense of the higher-dimensional structure latent in Martin-Löf type theory, which is closely connected with ideas from higher category theory and homotopy theory.
In particular, I just posted on the Homotopy Type Theory blog this thing I’ve been working on. I also have some posts (for this site) in the pipeline, so stay tuned.