Aaron Stump, Ph.D.

Professor
Biography
Research Interests (Keywords)

Type Theory, Programming Languages, Verification

Research areas
  • Languages
Aaron Stump
Ph.D., Stanford University, 2002
Office
Address

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