Software Engineer with a passion for teaching, open-source, and all things to do with programming languages.
I am a Software Engineer at GitHub, working on CodeQL. Previously I worked at Tweag, where I consulted for Hachi Security and Juspay. I like open-source, teaching, and all things to do with programming languages!
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.