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