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.