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.
|05/18||I will be interning at Galois in Portland, Oregon this summer working on probabilistic programming languages with Eddy Westbrook.|
|07/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.|
|07/17||Attended PODC 2017 in Washington, DC.|
|01/17||TA for CS 4100: Introduction to Formal Languages and Compilers in Spring 2017, taught by Dr. Stewart.|
|04/16||Received the 2016 Outstanding Senior in Computer Science Award at OU.|
Verified Learning Without Regret.
Samuel Merten, Alexander Bagnall, and Gordon Stewart. ESOP’18: The 27th European Symposium on Programming
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.
Alexander Bagnall, Samuel Merten, and Gordon Stewart. PODC’17: The 36th ACM Symposium on Principles of Distributed Computing