I am an Assistant Professor of Computer Science in Computer and Information Sciences at Georgia Regents University Augusta.

I recently finished my Ph.D. under the direction of Aaron Stump, and my thesis can be found here.

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

Research Interests

Programming languages, type theory, category theory w.r.t. the analysis of type theories and programming languages, and logic in computer science.

Conference and workshop service:

Office Hours

Monday & Wednesday: 8:30am – 10:30am
Tuesday & Thursday: 3:00pm – 5:30pm

Contact Information

Office: Allgood Hall E-132
Email: heades@gru.edu