I am currently a Tenure-Track Assistant Professor in the School of Computer and Cyber Sciences at Augusta University. Prior to this, I was a postdoctoral scholar at the University of Waterloo, Purdue University, and the Pennsylvania State University. I received my Ph.D. degree in Computer Science from the University of Central Florida, M.S. degree in Software Engineering from Beihang University in 2007, and B.S. in Computer Science from Beijing University of Technology.

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