Aaron Stump, Ph.D.
Professor
Biography
Research Interests (Keywords)
Type Theory, Programming Languages, Verification
Research areas
- Verifiable, Dependable, and High-Performance Systems
![Aaron Stump](/sites/cs.uiowa.edu/files/styles/square__768_x_768/public/2021-06/aaron_stump.jpg?h=affe97f3&itok=5Q7SmvB4)