Ali Shokri, PhD

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