Samuel 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 in 2016. My master's thesis is titled "A Verified Algorithm for Enumerating All Maximal Independent Sets".

My research focuses on the construction of verified software using the theorem prover Coq. I have a strong interest in the foundations of mathematics and the limitations of formal systems.

Contact Information

Office: Software Verifcation and Security Lab (Stocker 379)
Email: sm137907@ohio.edu
Office Hours: By appointment

News

10/2016
I've constructed a verified implementation of Tsukiyama et al.'s algorithm for finding all maximal independent sets of a graph. Check it out on my Github!

2/2016
I've constructed a verified implementation of Tsukiyama et al.'s algorithm for finding all maximal independent sets of a graph. Check it out on my Github!

1/2016

10/2015
I'm the coach for the four teams Ohio University sent to ACM's International Collegiate Programming Contest. You can find out more about the teams and their performance here.

Awards

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

Activities

I serve as the graduate advisor and programming contest coach for Ohio University's student chapter of ACM. To find out more regarding our local chapter, click here.

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