Aaron Stump

Aaron Stump Image - Professor - University of Iowa Computer Science
Professor
aaron-stump@uiowa.edu

Office: 
201F MLH
Office Hours: 
By appointment
Telephone: 
319-384-0093
http://homepage.cs.uiowa.edu/~astump/

Research interests: computational logic and programming languages theory.

Prof. Stump, Prof. Omar Chowdhury, and Prof. Cesare Tinelli run the U. Iowa Computational Logic Center. 

The center's main application goal is program verification.

See here for papers.