Aaron Stump

Associate Professor
Computer Science
The University of Iowa

Contact info




Papers may be found here.


C. V. (last updated October 2010)

The current vehicle for much of my research is the Guru programming language. Some other selected software is here.

Research interests: automated reasoning, computational logic, and programming languages theory.

Office hours for fall 2009 are 2:30-3:30pm Wednesdays and 11am-12pm Thursdays.

Professional positions:

Recent and upcoming conference and workshop service:
Recent Teaching: