I am an Associate Professor in the School of Computer and Cyber
Sciences at Augusta
Clément Aubert and I run the ForML Lab.
On this page you will find my research interests, contact
information, and CV (Updated
- 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.
- Keywords: HCI, design, visualization, sports+HCI, formal methods, Programming
languages, type theory, category theory, and logic in computer
- ACM Classes
- AMS Classes
Conference and workshop service