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

1 Jessup Hall (JH)
Iowa City, IA 52242
United States