معرفی
Harley Eades III is an Associate Professor in the School of Computer and Cyber Sciences at Augusta University. He co-directs the ForML Lab with Clément Aubert, focusing on formal methods and programming languages research.
His research spans:
- Human-Computer Interaction (HCI) with specialization in sports applications and accessibility
- Formal methods including type theory and graded logics
- Design tools for developers with visual impairments
- Remote athletic coaching systems
He maintains active service roles including co-chair for TyDe 2022 and program committee memberships for ICFP 2021 and GraMSec workshops.
۰مقاله منتشرشده
