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 May 2020).
Current Projects
My current project is on The Granule Project where I am studying graded logics, models, and type theories.Research interests
Programming languages, type theory, category theory, and logic in computer science.Conference and workshop service
coChair for GraMSec 2020
coChair for SERPL 2020
Program committee member for LINEARITY && TLLA 2020
coChair for SERPL 2019
Program committee member for GraMSec 2019
Program committee member for GraMSec 2018
Program committee member for GraMSec 2017
Program committee member for PLPV 2013