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
All published articles are preserved here permanently:
https://www.portico.org/publishers/oae/