| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://hde.design/
x-github-request-id: 7180:129975:15816E:191C7B:696BDD26
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 19:04:06 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210037-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768676647.624026,VS0,VE215
vary: Accept-Encoding
x-fastly-request-id: a04dd917e4c8aa4f52ea413dea5b01842b49712a
content-length: 162
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: Sat, 17 Jan 2026 19:14:07 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 2AD1:3D1BB3:15EB3A:1985C4:696BDD26
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 19:04:07 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210029-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768676647.948828,VS0,VE223
vary: Accept-Encoding
x-fastly-request-id: 9ec0b333cf947546e984b5717e7fdc90adb7d8a8
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.