Welcome!

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.

Research Interests

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

Conference and workshop service:

Contact Information

Email: heades@gru.edu