Hi! I’m a final year undergraduate reading Computing at Imperial College London. I have a wide range of academic interests including logic, formal verification, programming language theory, human-computer interaction, artificial intelligence and game theory.
- Using CGI to filter out iCal Events
- Spacemacs: Emacs for a Vim Enthusiast
- The Update Monad
- Hakyll, Contexts and Metadata
- Introduction to CUDD
- LaTeX for Computing Students
- The Tools I Use