About
Aaron Stump is a Professor at the University of Iowa, specializing in Type Theory, Programming Languages, and Verification. He is affiliated with the Computational Logic Center and maintains a personal website and Google Scholar profile.
- Education: Ph.D. from Stanford University (2002)
- Contact: Office at 1 Jessup Hall, Iowa City, IA 52242; Phone: 319-384-0093
Research fields
0Publications listed
Find Aaron Stump elsewhere
Related Searches
You Might Also Like
Stratis GiannakourosUniversity of Iowa · Lecturer
Carrie FigdorUniversity of Iowa · Professor
Heather SanderUniversity of Iowa · Associate Professor
Nate YoungUniversity of Iowa · Researcher- EEmily WalshUniversity of Iowa · Adjunct Assistant Professor
Denise SzecseiUniversity of Iowa · Associate Professor