Harley Eades III

Harley Eades's photo


I am an Associate 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 May 2022).

Current Projects

My current project is on The Granule Project where I am studying graded logics, models, and type theories.

Research interests

  • Keywords: Programming languages, type theory, category theory, and logic in computer science.
  • AMS Classes

Conrference and workshop service

Contact Information