Harley Eades III
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 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
Program committee member for GraMSec 2018
Program committee member for GraMSec 2017
Program committee member for PLPV 2013