Gordon Stewart

I'm a formal methods engineer at BedRock Systems and an assistant professor of computer science at Ohio University. A list of my publications is on DBLP. My open-source software is available on GitHub. I have a PhD in computer science from Princeton University where I worked with Andrew Appel.