| CARVIEW |
Select Language
HTTP/1.1 302 Found
Date: Fri, 16 Jan 2026 23:08:55 GMT
Server: Apache/2.4.58 (Ubuntu)
Location: https://hde.design/
Content-Length: 285
Content-Type: text/html; charset=iso-8859-1
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 15 Jan 2026 20:09:57 GMT
access-control-allow-origin: *
etag: W/"69694995-16b3"
expires: Fri, 16 Jan 2026 23:19:58 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: AF16:25AD8:9C35F:B4032:696AC546
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 23:09:58 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210055-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768604999.635586,VS0,VE223
vary: Accept-Encoding
x-fastly-request-id: f4c5736c3a59a03125a727e662ecbe9428f2baa5
content-length: 2188
Harley Eades III
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 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
Co-chair for TyDe 2022
Program committee member for ICFP 2021
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
Contact Information
All rights reserved: Harley Eades III.