Postdoctoral Associate at Virginia Tech, Software Security, Program Analysis, and Formal Methods
My research directions