| CARVIEW |
Select Language
HTTP/1.1 302 Found
Date: Sat, 17 Jan 2026 05:22:51 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: Sat, 17 Jan 2026 05:33:55 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: E5F3:3172EF:BEEE0:E151A:696B1CEB
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 05:23:55 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210052-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768627435.123218,VS0,VE242
vary: Accept-Encoding
x-fastly-request-id: bea443e3618664376347ee8b576fc346a7a4b59a
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.