Aaron Stump, Ph.D.

Professor
Research Interests (Keywords)

Type Theory, Programming Languages, Verification

Research areas
  • Verifiable, Dependable, and High-Performance Systems
Aaron Stump
aaron-stump@uiowa.edu
319-384-0093
Personal Website, Computational Logic Center, Google Scholar
Ph.D., Stanford University, 2002
Office

1406 Seamans Center (SC)
Iowa City, IA 52242
United States