Aaron Stump
Professor
Computer Science
The University of Iowa
Contact information, CV (last updated October 2019)
Research interests: computational logic, programming languages theory.
Cesare Tinelli, Omar Chowdhury, and I run the U. Iowa Computational Logic Center.
I lead StarExec, a cross-community logic solving web service.