Mary Southern


Email: marys at

Office: Keller 6-204

Department of Computer Science and Engineering
University of Minnesota
4-192 Keller Hall
200 Union Street SE
Minneapolis, MN 55455

About Me

I am a PhD student working with Gopalan Nadathur. I am working on animating and reasoning about LF-style dependently typed specifications through a translation into the logic programming language Lambda Prolog which underlies the Teyjus system and the Abella theorem prover. These existing systems are leveraged to provide efficient execution of and expressive reasoning about dependently typed specifications.


Fall 2016

Summer 2016

Spring 2016

Fall 2015

Summer 2015

Spring 2015

Fall 2014

Summer 2014

Spring 2014

Fall 2013

Summer 2013

Spring 2013

Fall 2012

Summer 2012

Spring 2012

Fall 2011



Mary Southern
Last modified: Wed Oct 26 16:06:42 CDT 2016