Harley Eades III

Harley Eades's photo


I am an Assistant Professor of Computer Science in Computer and Information Sciences at Augusta University.

I recently finished my Ph.D. under the direction of Aaron Stump, and my thesis can be found here.

On this page you will find my research interests, contact information, and CV (Updated July 2018).

Research Interests

Programming languages, type theory, category theory w.r.t. the analysis of type theories and programming languages, and logic in computer science.

Conference and workshop service

Office Hours

Contact Information