I’m a software engineer at GitHub building security products that make it easier for developers everywhere to write more secure code. Previously I completed my bachelor’s and master’s in computer science at the University of Cambridge, specialising in programming language theory and machine learning.
I’m interested in a broad range of topics within programming languages, machine learning, and their intersection: in my master’s I studied category theory, metaprogramming, formal methods, and the application of ML to software development. I researched polymorphic subtyping under the supervision of Neel Krishnaswami for my master’s dissertation, and implemented a systematic concurrency testing system for Multicore OCaml supervised by KC Sivaramakrishnan for my bachelor’s dissertation.
During my studies, I interned with the Programming Languages and Software Engineering group at Microsoft Research. Prior to that, I worked on highly scalable infrastructure powering Office, and before that, I contributed to reducing Bing’s cost to serve.
- Email: [email protected]
- LinkedIn: henrymercer
- GitHub: henrymercer