David A. Naumann
Scholar

David A. Naumann

Google Scholar ID: ZC0qa2EAAAAJ
Professor of Computer Science, Stevens Institute of Technology
Software VerificationLanguage Based SecurityRefinementProgramming Languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,640
 
H-index
34
 
i10-index
65
 
Publications
20
 
Co-authors
30
list available
Contact
No contact links provided.
Publications
2 items
Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI
2026
Cited
0
Forall-Exists Relational Verification by Filtering to Forall-Forall
2025
Cited
0
Resume (English only)
Co-authors
30 total
Anindya Banerjee
Anindya Banerjee
Professor, IMDEA Software Institute
Gary T. Leavens
Gary T. Leavens
Professor, University of Central Florida
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Ana Cavalcanti
Ana Cavalcanti
University of York
Tamara Rezk
Tamara Rezk
INRIA
Co-author 7
Co-author 7
Co-author 8
Co-author 8