Postdoctoral Associate at Virginia Tech, Software Security, Program Analysis, and Formal Methods
Short description of portfolio item number 1
Short description of portfolio item number 2