379 Stocker Center
My research interests include programming languages, compilers, and formal methods of software verification. I also dabble in machine learning and computer graphics.
|01/17||I was lucky enough to attend the first week of DeepSpec Summer School 2017 in Philadelpha featuring lectures from Pierce, Leroy, Weirich, and Zdancewic.|
|01/17||Attended PODC 2017 in Washington, DC.|
|01/16||TA for CS 4100: Introduction to Formal Languages and Compilers in Spring 2017, taught by Dr. Stewart.|
|01/16||Received the 2016 Outstanding Senior in Computer Science Award at OU.|
A Library for Algorithmic Game Theory in Ssreflect/Coq.
Alexander Bagnall, Samuel Merten, and Gordon Stewart. Journal of Formalized Reasoning. December 2017
Brief Announcement: Certified Multiplicative Weights Update; or Verified Learning Without Regret.
Alex Bagnall, Sam Merten, and Gordon Stewart. PODC’17: The 36th ACM Symposium on Principles of Distributed Computing