Aaron Stump
Associate Professor
Computer Science
The University of Iowa

Contact information

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

Cesare Tinelli and I run the U. Iowa Computational Logic Center. Check out our recent mini-symposium.

C. V. (last updated February 2012)

Recent and upcoming conference and workshop service:

• Program committee member for RTA 2013, part of RDP 2013
• Program committee member for PEPM 2012
• Co-organizer of the 2nd Verified Software Competition (2012); a report is here
• Co-organizer PxTP '11, affiliated with CADE 2011
• Workshops and tutorials chair the 23rd International Conference on Automated Deduction (CADE) 2011.
• Co-organizer of Midwest Verification Day (MVD) 2010.

Recent Teaching:

• CS 196:002, Lambda Calculus and Applications, Fall 2012
• CS 002:002, Hidden Meanings, first-year seminar, Fall 2011.
• CS 185, Programming Language Foundations, usually in fall semesters.
• CS 111, Programming Language Concepts, in spring semesters.
• CS 002:003, To Infinity and Beyond, first-year seminar, Fall 2010.
• CS 002:003, Inventing Languages, first-year seminar, Fall 2009.