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.