Harley Eades III

Harley Eades's photo


I am an Assistant Professor in the School of Computer and Cyber Sciences at Augusta University.

Clément Aubert and I run the ForML Lab.

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

Current Projects

My current project is on The Granule Project where I am studying substructural dependent type theories.

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