Aaron Stump
Professor
Computer Science
The University of Iowa
Contact information, CV
Research interests: computational logic, programming languages theory.
I am a founding member of the U. Iowa Computational Logic Center.
I lead StarExec, a cross-community logic solving web service.