Scholar
David A. Naumann
Google Scholar ID: ZC0qa2EAAAAJ
Professor of Computer Science, Stevens Institute of Technology
Citations & Impact
Citations
607
H-index
15
i10-index
23
Publications
20
Co-authors
30
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published extensively in top venues including POPL, TACAS, CCS, ECOOP, NASA Formal Methods Symposium, and ACM TOPLAS
- Notable papers: 'Forall-Exists Relational Verification by Filtering to Forall-Forall' (2025), 'An Algebra of Alignment for Relational Verification' (POPL 2023), 'WhyRel: an Auto-active Relational Verifier' (STTT 2025)
- Funded by NSF grants (CNS-2426414, CNS-1718713, CCF-1649884, DeepSpec) and supported by Siemens and Microsoft Research
- Program committee co-chair of IEEE Computer Security Foundations Symposium (2021, 2022)
- PC member for ACM POPL, CCS, IEEE CSF, ECOOP, etc.
- Editorial board member for ACM TOPLAS, Formal Aspects of Computing, Journal of Object Technology
