MSR 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024
David Shriver

Registered user since Tue 9 Feb 2021

Name:David Shriver

I am a machine learning research scientist in the AI Division of the Software Engineering Institute at Carnegie Mellon University. I received my PhD from the University of Virginia in December 2022. My research interests are in ensuring correctness of machine learning systems. In particular, I am interested in analysis, testing, and verification of neural networks, especially in the context of systems with a high cost of failure, such as safety-critical systems.

Country:United States
Affiliation:Software Engineering Institute
Personal website:
Research interests:Verification, Machine Learning, Software Engineering


Show activities from other conferences

ICSE 2024-profile
View general profile