Secondary Navigation
Aaron Stump
Professor
aaron-stump@uiowa.edu
Office:
1406 SC
Office Hours:
T 3:30-4:30; WF 2-3 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.
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242-1419
Tel: 319-335-0713 Fax: 319-335-0627
Email: CS-INFO@list.uiowa.edu
© The University of Iowa 2020
NOTICE: The University of Iowa Center for Advancement is an operational name for the State University of Iowa Foundation, an independent, Iowa nonprofit corporation organized as a 501(c)(3) tax-exempt, publicly supported charitable entity working to advance the University of Iowa. Please review its full disclosure statement.