Aaron Stump
Professor
Computer Science
The University of Iowa
Contact information, CV

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.