Sam Merten

Samuel Merten Photo
I'm a doctoral student in computer science at Ohio University. In 2011 I earned my BA in liberal arts from St. John's College, and my MS in computer science from Ohio University in 2016.

My research focuses on the construction of verified software using the theorem prover Coq. Current areas of interest include algorithmic game theory, constructive analysis and verified machine learning.


Alexander Bagnall, Samuel Merten, and Gordon Stewart. 2017. Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC '17).

Gordon Stewart, Samuel Merten, and Logan Leland. 2018. Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. To appear in: International Symposium on Practical Aspects of Declarative Languages (PADL '18).


In 2016, I was one of 8 finalists university-wide that were nominated for the Graduate Associate Outstanding Teaching Award.


I serve as the graduate advisor and programming contest coach for Ohio University's student chapter of ACM.

We've recently started a programming languages reading group led by Dr. Stewart. More info about our readings and schedule can be found here.