Harley Eades III

Harley Eades's photo

Welcome!

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 July 2018).

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