| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://hde.design/
x-github-request-id: 7A08:3172EF:1724A9:1B2FF3:696C16B5
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 23:09:50 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210097-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768691390.980291,VS0,VE211
vary: Accept-Encoding
x-fastly-request-id: 31aef61bcd5664cb185f6e0044c5b65051d37861
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 23:19:50 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 8E98:141D69:179469:1B9FF2:696C16BE
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 23:09:50 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210052-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768691390.299626,VS0,VE213
vary: Accept-Encoding
x-fastly-request-id: fc7119b95abea67544db02fa2df0ab5688db81b9
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.