Gordon Stewart

Gordon Stewart photo
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, and an AB in Classics from Harvard in 2006. Download my Curriculum Vitae. Much of my research software is open source on Github.

Contact Information

Office: 355 Stocker Center
Email: gstewart@ohio.edu
Phone: (740) 593-1578
Office Hours: W 11am-12pm, F 1-2pm

News

10/17
"Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell", with Sam Merten and Logan Leland accepted to PADL'18: The 20th International Symposium on Practical Aspects of Declarative Languages
05/17
05/17
03/17
NSF CRII award to support the Cage Project: using algorithmic game theory to build distributed systems with verified complexity by design
Older News
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.

Publications and Talks

Students

I'm fortunate to do research with a number of great students at OU, including: I'm also always on the lookout for new students. If you're at all interested in programming languages, software verification, or software security, come talk to me!

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