Welcome!

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).

Current Projects

• Batteries included Web Query Languages using the tools of statically type functional programming languages.
• 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
• AMS Classes

Conference and workshop service

Contact Information