Mary Southern

Contact

Email: south163 at umn.edu

Office: Keller 6-204

Mail:
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 interested in animating and reasoning about specifications written in a dependently typed specification language, the Edinburgh Logical Framework.

Activities

Member of the Computer Science Graduate Student Association, Fall 2011 - present

Publications

Talks


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