Harley Eades III
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
coChair for GraMSec 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