Machine Learning Research Scientist
Current
Jan 2023 - Present
AeroLeads people directory · profile
David Shriver Email & Phone Number
Machine Learning Research Scientist in the AI Division of the SEI at CMU
at
Software Engineering Institute | Carnegie Mellon University
1 work email found
@unl.edu
LinkedIn matched
✓ Verified Jun 2026
4 data sources
Profile completeness 100%
Current company
Role
Machine Learning Research Scientist in the AI Division of the SEI at CMU
Location
Pittsburgh, Pennsylvania, United States
Company size
Who is David Shriver? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
David Shriver is listed as Machine Learning Research Scientist in the AI Division of the SEI at CMU at Software Engineering Institute | Carnegie Mellon University, a company with 993 employees, based in Pittsburgh, Pennsylvania, United States. AeroLeads shows a work email signal at unl.edu and a matched LinkedIn profile for David Shriver.
David Shriver previously worked as Machine Learning Research Scientist at Software Engineering Institute | Carnegie Mellon University and Graduate Research Assistant at University Of Virginia. David Shriver holds Doctor Of Philosophy - Phd, Computer Science from University Of Virginia.
Company email context
Email format at Software Engineering Institute | Carnegie Mellon University
This section adds company-level context without repeating David Shriver's masked contact details.
{first_initial}{last}@unl.edu
86% confidence
AeroLeads found 1 current-domain work email signal for David Shriver. Compare company email patterns before reaching out.
Profile bio
About David Shriver
Experienced researcher, interested in software testing and verification, especially for machine learning systems. Strong research professional with a PhD in Computer Science from University of Virginia.
Listed skills include Java, C, Html, Python, and 10 others.
Current workplace
David Shriver's current company
Company context helps verify the profile and gives searchers a useful next step.
Software Engineering Institute | Carnegie Mellon University
Employees
993
AeroLeads page
5 roles
David Shriver work experience
A career timeline built from the work history available for this profile.
Graduate Research Assistant
Research and develop techniques for increasing the applicability of state-of-the art verification tools for neural networks to improve the safety and correctness of systems with high costs of failure, such as autonomous vehicles.
Aug 2018 - Dec 2022
Research Intern
Worked on an approach for verifying stateful safety properties of neural networks for aircraft collision avoidance.
Jun 2021 - Aug 2021
Graduate Research Assistant
Developed approaches for assessing the quality and stability of recommender systems.
Aug 2016 - Jul 2018
Undergraduate Research Assistant
Utilized SMT solvers to perform program synthesis using input/output examplesDeveloping a technique to aid the user in the creation of useful examples for program synthesis
Feb 2014 - Aug 2016
3 education records
David Shriver education
Doctor Of Philosophy - Phd, Computer Science
Master Of Science (M.S.), Computer Science
Bachelor Of Science (B.S.), Computer Engineering
FAQ
Frequently asked questions about David Shriver
Quick answers generated from the profile data available on this page.
What company does David Shriver work for?
David Shriver works for Software Engineering Institute | Carnegie Mellon University.
What is David Shriver's role at Software Engineering Institute | Carnegie Mellon University?
David Shriver is listed as Machine Learning Research Scientist in the AI Division of the SEI at CMU at Software Engineering Institute | Carnegie Mellon University.
What is David Shriver's email address?
AeroLeads has found 1 work email signal at @unl.edu for David Shriver at Software Engineering Institute | Carnegie Mellon University.
Where is David Shriver based?
David Shriver is based in Pittsburgh, Pennsylvania, United States while working with Software Engineering Institute | Carnegie Mellon University.
What companies has David Shriver worked for?
David Shriver has worked for Software Engineering Institute | Carnegie Mellon University, University Of Virginia, Nasa Langley Research Center, and Department Of Computer Science At The University Of Nebraska–Lincoln.
How can I contact David Shriver?
You can use AeroLeads to view verified contact signals for David Shriver at Software Engineering Institute | Carnegie Mellon University, including work email, phone, and LinkedIn data when available.
What schools did David Shriver attend?
David Shriver holds Doctor Of Philosophy - Phd, Computer Science from University Of Virginia.
What skills is David Shriver known for?
David Shriver is listed with skills including Java, C, Html, Python, Programming, Css, Javascript, and Php.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the David Shriver you were looking for.
View similar profiles
