Harley Eades III

David Deharbe's photo

Welcome!

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 Oct. 2015).

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