SAS Events
SAS News
rutgers.edu
SAS
Search People
Search Website
DIMACS | Center for Discrete Mathematics and Theoretical Computer Science
DIMACS | Center for Discrete Mathematics and Theoretical Computer Science
About
Partners
Governance
Travel
Reimbursement
DIMACS Mailing Lists
Code of Conduct
People
Staff
Faculty
Current Post Docs
Past Post Docs
Current Visitors
All Visitors
DIMACS Members
Programs
All DIMACS Programs
Themed Programs
Education Programs
Reconnect
Implementation Challenges
Research Experience for Undergraduates (REU)
News
Events
Upcoming Events
Seminar Series
Past Events
Giving
Contact Us
People
Staff
Faculty
Current Post Docs
Past Post Docs
Current Visitors
Visitor Orientation Guide
Visitor Entertainment Guide
Topics of DIMACS Special Year/Special Focus Programs
All Visitors
DIMACS Members
People Details
Naumann, David
David Naumann
Unit:
Stevens Institute of Technology
Organization:
Stevens Institute of Technology
Interests:
Semantics and verification, formal methods and security
Website
