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
POPL 2023-profile
View general profile
View general profile