Obligatory first post!

If I'm honest, I'm only writing this page so that my site doesn't seem completely empty, but that doesn't mean I don't have posts planned. Famous last words, I suppose. Over the next few weeks, I plan to upload some of the writing I've already done as part of my PhD research, including a more leisurely introduction to the ideas in a paper that my Supervisor and I have just submitted to a conference. Stay tuned for automata theory, type theory and category theory.