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, category theory w.r.t. the analysis of type theories and programming langauges, and logic in computer science.

Conference and workshop service:

Contact Information

Email: harley-eades@uiowa.edu