David Naumann
Professor at Stevens Institute of Technology
Hoboken, New Jersey, United States
Summary
👤
SeniorDavid Naumann is a Professor at Stevens Institute of Technology with over two decades of academic experience and 11 years framed as active professional engagement in computer security, privacy, and software analysis and verification. He pursues research that blends technical rigor with cultural reflection—exploring personal control of online identity and how art and culture evolve in the digital realm. Known for a circumspect online presence and an insistence on meaningful collaborations with students, he prioritizes close mentorship through hands-on projects. Based in Hoboken, NJ, he brings a thoughtful, slightly eccentric perspective (from Burmese pythons to tenpenny nails) to questions of technological ownership and societal impact.
11 years of coding experience
Github Skills (23)
verification9
formal-verification8
sat-solver8
coq8
tla8
coq-library7
tlaplus7
proof-assistant7
compcert7
proof7
model-checking7
smt7
formal-methods7
theorem-proving7
reverse-engineering6
Programming languages (4)
Github contributions (5)
PrincetonUniversity/DeepSpecDB
Feb 2018 - Mar 2020
Contributions:294 commits, 114 pushes, 1 branch in 2 years 1 month
dnaumann/dnaumann.github.io
Aug 2023 - Dec 2024
Contributions:6 pushes, 1 branch in 1 year 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.