aaron.stump

Personal information


I am an associate professor of Computer Science at The University of Iowa.


programming languages, type theory, term rewriting, verification.

History


7 years 1 week