![David Naumann](https://2023.ecoop.org/getProfileImage/davidnaumann/7ae35481-7285-44ea-924c-3eeab281d1fa/small.jpg?1711482819000)
Registered user since Mon 2 Jan 2023
Name:David Naumann
Country:United States
Affiliation:Stevens Institute of Technology
Personal website: https://dnaumann.github.io/dnaumann/
Research interests:software verification, security, semantics, programming languages
Contributions
ECOOP and ISSTA 2023-profile
View general profile
View general profile