David Shriver

David Shriver Email and Phone Number

Machine Learning Research Scientist in the AI Division of the SEI at CMU @ Software Engineering Institute | Carnegie Mellon University
pittsburgh, pennsylvania, united states
David Shriver's Location
Pittsburgh, Pennsylvania, United States, United States
David Shriver's Contact Details

David Shriver work email

David Shriver personal email

n/a
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.

David Shriver's Current Company Details
Software Engineering Institute | Carnegie Mellon University

Software Engineering Institute | Carnegie Mellon University

View
Machine Learning Research Scientist in the AI Division of the SEI at CMU
pittsburgh, pennsylvania, united states
Employees:
993
David Shriver Work Experience Details
  • Software Engineering Institute | Carnegie Mellon University
    Machine Learning Research Scientist
    Software Engineering Institute | Carnegie Mellon University Jan 2023 - Present
    Pittsburgh, Pennsylvania, United States
    View
  • University Of Virginia
    Graduate Research Assistant
    University Of Virginia Aug 2018 - Dec 2022
    Charlottesville, Virginia Area
    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.
    View
  • Nasa Langley Research Center
    Research Intern
    Nasa Langley Research Center Jun 2021 - Aug 2021
    Worked on an approach for verifying stateful safety properties of neural networks for aircraft collision avoidance.
    View
  • Department Of Computer Science At The University Of Nebraska–Lincoln
    Graduate Research Assistant
    Department Of Computer Science At The University Of Nebraska–Lincoln Aug 2016 - Jul 2018
    Lincoln, Nebraska
    Developed approaches for assessing the quality and stability of recommender systems.
    View
  • Department Of Computer Science At The University Of Nebraska–Lincoln
    Undergraduate Research Assistant
    Department Of Computer Science At The University Of Nebraska–Lincoln Feb 2014 - Aug 2016
    Lincoln, Nebraska
    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
    View

David Shriver Skills

Java C Html Python Programming Css Javascript Php Android Development French Teamwork Photoshop Matlab Computer Science

David Shriver Education Details

Frequently Asked Questions about David Shriver

What company does David Shriver work for?

David Shriver works for Software Engineering Institute | Carnegie Mellon University

What is David Shriver's role at the current company?

David Shriver's current role is Machine Learning Research Scientist in the AI Division of the SEI at CMU.

What is David Shriver's email address?

David Shriver's email address is ds****@****unl.edu

What schools did David Shriver attend?

David Shriver attended University Of Virginia, University Of Nebraska-Lincoln, University Of Nebraska-Lincoln.

What skills is David Shriver known for?

David Shriver has skills like Java, C, Html, Python, Programming, Css, Javascript, Php, Android Development, French, Teamwork, Photoshop.

Not the David Shriver you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.