Harley Eades III


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

  • Designing new tools for developers with vision impairments.
  • Designing new systems for remote coaching of athletic training: from novice to elite athletes.
  • The Granule Project where I am studying graded logics, models, and type theories.

Research interests

  • Keywords: HCI, design, visualization, sports+HCI, formal methods, Programming languages, type theory, category theory, and logic in computer science.
  • ACM Classes
  • AMS Classes

Conference and workshop service

Contact Information