Harley Eades III

Harley Eades's photo

Welcome!

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 2020).

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

Conference and workshop service

Contact Information