conf.researchr.org / David Naumann
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