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

05/17
Brief Announcement: Certified Multiplicative Weights Update; or Verified Learning Without Regret, with Alex Bagnall and Sam Merten accepted to PODC'17: The 36th ACM Symposium on Principles of Distributed Computing
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

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