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 (34)
verification10
adversarial-attacks9
machine-learning9
python8
scanning8
deep-learning8
codeql8
caffe7
neural-network7
deep-neural-networks7
sorting6
scientific-computing6
integer6
z36
numpy6
Programming languages (6)
Github contributions (5)
less-lab-uva/DFV-Artifact
Apr 2021 - Apr 2022
Contributions:8 commits, 2 pushes, 8 comments in 11 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.