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.