Gareth's Homepage

I'm a postdoc at Imperial College where I develop program logic for reasoning about web programs. I have an academic web page too.

I sometimes do silly things in public.

• I sometimes write little things.
• I am a founder of the JSCert project, which provides a complete mechanised semantics of JavaScript in Coq.
• Bookshelves are awesome. Ebooks are awesome too. Can we combine them?
• I accidentally wrote a guide to getting started with LaTeX.
• I am the founder of the wombile project, which is a system designed to make it easy to produce a collaborative, location aware mobile experience using (now largely obsolete) Symbian S60 smartphones.
• Since 2000, I've tended to switch back and forth between emacs and vim every 18 months or so.
  • Here are the differences I've noticed.
  • Here are the awesome things I've been doing in emacs recently.
  • My emacs configuration is now over 2000 lines, so I suppose some of it might be useful to someone. My org-mode config is only just over 1100 lines, which seems much more reasonable.
• I wrote a little introduction to feminism for computer scientists, because some CS friends of mine thought it might be helpful.
• I briefly compared a pair of videos about beauty.