Aaron Stump is a professor of Computer Science at The University of Iowa, USA. His research interests are in Computational Logic and Programming Languages, especially Type Theory. He received a Bachelor's degree in Computer Science and Philosophy from Cornell University in 1997, and a PhD in Computer Science from Stanford University in 2002. Aaron is co-director with Cesare Tinelli of the University of Iowa Computational Logic Center, and he leads StarExec, a cross-community logic solving web service. He is the author of the textbook Programming Language Foundations (2013). Aaron was the best paper award winner in 2011 at the The 22nd International Conference on Term Rewriting and Applications (RTA), and winner also of the Haifa Verification Conference Award, 2010, with co-awardees Clark Barrett, Leonardo da Moura, Silvio Ranise, and Cesare Tinelli, Aaron was winner of a National Science Foundation Young Investigator award.