Software Engineer with a passion for teaching, open-source, and all things to do with programming languages.
I am a Software Engineer at GitHub, where I work on CodeQL. After initially improving CodeQL support for static programming languages (Go, C#, and Java), I now mainly work on CodeQL in production, cross-team initiatives, and internal developer experience. Some of my work on CodeQL is open-source and can be found in the github/codeql and github/codeql-action repositories.
My interests focus around all aspects of programming languages, including their specification, implementation, and tooling. I am particularly interested in languages with expressive type systems and those which solve problems that larger and evolving software projects face, such as modularity and changing dependencies. To this end, the language I enjoy working with the most is Haskell, but I have experience with a vast selection of languages across different paradigms. I am also interested in applying advances in programming languages to other fields, both within and outside of Computer Science.
I am happy to be contacted by email at for questions or comments about my open-source projects, teaching work, or anything else related to the content of this website.
If you would like me to give a guest lecture as part of a university course that you are teaching, I would be very happy to hear from you as well.
Please do not send me unsolicited emails about job opportunities.