I am an Associate Professor in the School of Computer and Cyber Sciences at Augusta University.

On this page you will find my research interests, contact information, and CV (Updated January 2026).

Contact Information

• Office: University Hall
• Mastodon
• Email

Current Projects

• 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: sports+HCI, formal methods, programming languages
• ACM Classes:
  • Human-centered computing
    • Visualization
    • Interaction design
    • Accessibility
    • Collaborative and social computing
  • Theory of computation
    • Formal languages and automata theory
    • Models of computation
    • Semantics and reasoning
    • Logic