David Shriver
Machine Learning Research Scientist at Software Engineering Institute | Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolDavid Shriver is a Machine Learning Research Scientist with 11 years of experience specializing in testing and formal verification of ML systems, particularly for safety-critical domains like autonomous vehicles and aviation. Currently at Carnegie Mellon’s Software Engineering Institute, he bridges rigorous academic research with practical verification tooling, building on doctoral work at the University of Virginia and an M.S. in Computer Science from the University of Nebraska–Lincoln. His background includes applied internships at NASA Langley and multiple graduate research roles where he developed techniques for verifying stateful neural properties and assessing recommender-system stability. Known for making formal methods more applicable to real-world neural networks, he combines deep theoretical knowledge with hands-on engineering to reduce catastrophic failure risk in high-stakes systems. Based in Pittsburgh, he brings a rare mix of verification expertise and system-level thinking that helps move provable ML safety from lab prototypes toward deployable solutions.
11 years of coding experience
9 years of employment as a software developer
Master of Science (M.S.), Computer Science, Master of Science (M.S.), Computer Science at University of Nebraska-LincolnDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Virginia
French
Stackoverflow
154reputation
29kreached
8answers
1question
Github Skills (26)
machine-learning10
verification10
adversarial-attacks9
deep-neural-networks9
python8
neural-network8
algorithms7
codeql7
sorting6
z36
numpy6
z3py6
semmle-ql6
github-advanced-security6
pandas6
Programming languages (7)
Github contributions (5)
dlshriver/dnnf
Apr 2020 - Aug 2022
Deep Neural Network Falsification
Contributions:7 releases, 5 reviews, 126 commits in 2 years 4 months
neural-networkdeep-neural-networksverificationadversarial-attacksdnnv
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.