Gordon Stewart

I work at a startup doing program verification. Previously I was associate director of Secure and Resilient Systems at Riverside Research, a formal methods engineer at BlueRock Security and an assistant professor of computer science.

A list of my publications is on DBLP and Google Scholar. I have a PhD in computer science from Princeton University, where I worked with Andrew Appel on the VST.