Home » user account

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


15 years 5 weeks