Gordon Stewart

I'm an Assistant Professor in the School of Electrical Engineering and Computer Science at Ohio University.

I do research in programming languages, interactive theorem proving, and software security. I received my PhD in Computer Science from Princeton in 2015 (adviser: Andrew Appel), and an AB from Harvard in 2006. Much of my research software is open source on Github. My picture is here.

Contact Information

Office: 355 Stocker Center
Email: gstewart@ohio.edu
Phone: (740) 593-1578
Office Hours: Tu3-4:30pm

News

12/17
10/17
Snaarkl, on verifiable computing in Haskell, accepted to PADL'18
05/17
Brief announcement Certified Multiplicative Weights Update accepted to PODC'17
05/17
Older News
03/17
NSF CRII award to support the Cage Project: using algorithmic game theory to build distributed systems with verified complexity by design
10/16
10/16
New draft paper: Certified Convergent Perceptron Learning together with students Charlie Murphy (ugrad, Princeton grad) and Patrick Gray (grad)
09/16
Funded collaborative research grant on "Intelligent Channel Sensing"
04/16
10/15
I'm serving on the PLDI'16 External Review Committee.

Research Papers and Talks

Students

I'm fortunate to do research with a number of great students at OU, including:

Sponsored Research Projects

Courses

S2018
CS 6900: Advanced Topics in Programming Languages
S2018
CS 4100: Formal Languages and Compilers
F2017
CS 3200: Programming Languages
F2017
CS 4201: Software Verification
S2017
CS 4100: Intro. to Formal Languages and Compilers
F2016
CS 4900/5900: Software Verification
S2016
CS 4100: Intro. to Formal Languages and Compilers
F2015
CS 4900/5900: Software Verification