Dave Naumann

Dave Naumann is a Professor and Chair of the Department of Computer Science at Stevens Institute of Technology, located within the Charles V. Schaefer, Jr. School of Engineering and Science. He holds a PhD (1992) and BA (1982) in Computer Science from the University of Texas at Austin. His research focuses on formal methods and software security, including relational and hyperproperty verification, fine-grained confidentiality/integrity policies, program analysis, and correctness-by-construction methodologies.

Naumann leads the Cypress research group and has served in significant academic roles, including editorial board memberships for ACM Transactions on Programming Languages and Systems and Formal Aspects of Computing. His awards include the Davis Memorial Award for Research Excellence (2006) and invitations as a keynote speaker at major conferences like ETAPS and IBM Programming Languages Day.

He has advised numerous PhD students and postdoctoral researchers, contributing to advancements in secure software verification. His grants include NSF awards for projects like hyperproperty abstraction and relational verification for privacy. Naumann’s work bridges theoretical foundations with practical tools, exemplified by the WhyRel prototype for modular relational verification.

Professional service includes co-chairing the IEEE Computer Security Foundations Symposium and serving on program committees for POPL, CCS, and ECOOP. His consulting work with Microsoft Research, Vulcan Inc., and Galois Inc. underscores industry-academia collaboration in formal methods.