Aaron Stump

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

Office: 
1406 SC
Office Hours: 
MF 10:30-11:15, and by appointment
Telephone: 
384-0093
http://homepage.cs.uiowa.edu/~astump/

Research interests: computational logic and programming languages theory.

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

The center's main application goal is program verification.

See here for papers.