Secondary Navigation
Aaron Stump
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.
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.