I'm a senior engineering manager at GitHub. I manage the Semantic Code team, which applies academic programming language theory to analyze all of the code hosted on GitHub. Our goal is to make it easier for developers and maintainers to understand what their code does, and how other developers use it.
In the past I've also been involved in low-level performance, reliability, and security analysis of network traffic. As part of that work, I'm the co-editor of two draft W3C specifications: Reporting and Network Error Logging (NEL).
And above all else, I want to teach the world how to use formal methods to solve real problems.
How's that for a grab bag of interests?
All of the opinions expressed on this site are my own, and not those of my employer.