Welcome!
I am a PhD student in computer science at The University of Iowa.
My advisor is Aaron Stump.
On this page you will find my research interests, contact information, and CV.
Research Interests
Programming languages, type theory, term rewriting, proof theory, and logic in computer science.
Conference and workshop service:
- Program committee member for PLPV 2013.
Contact Information
Email: harley-eades@uiowa.edu