About me

Assistant Professor at Augusta University

My research is in the areas of specification and verification languages, programming languages and software security.

I’m actively seeking collaboration with motivated and talented undregraduate students, graduate students and postdoctoral researchers. If you wish to work with me, email me with a statement explaining your interest in my research.