معرفی
Aaron Stump is a Professor at the University of Iowa, specializing in Type Theory, Programming Languages, and Verification. He is affiliated with the Computational Logic Center and maintains a personal website and Google Scholar profile.
- Education: Ph.D. from Stanford University (2002)
- Contact: Office at 1 Jessup Hall, Iowa City, IA 52242; Phone: 319-384-0093
حوزههای پژوهشی
۰مقاله منتشرشده
