Secondary Navigation

Aaron Stump

Aaron Stump Image - Professor - University of Iowa Computer Science
Professor
aaron-stump@uiowa.edu
Office: 
1406 SC
Office Hours: 
T 3:45-4:45; W 2-3:30, or by appointment
Telephone: 
384-0093
http://clc.cs.uiowa.edu/
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.