Editorial Board Member

Department of Computer Science and Engineering, Pennsylvania State University, University Park, PA, USA.
HomePage
Research Interests:
Software security, Formal methods, Programming languages





