![David Shriver](https://conf.researchr.org/getProfileImage/davidshriver/e04f64aa-c0b2-4d35-91fb-881da3957c28/small.jpg?1715091401000)
Registered user since Tue 9 Feb 2021
Name:David Shriver
Bio:
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: https://dlshriver.com
GitHub: https://github.com/dlshriver
Research interests:Verification, Machine Learning, Software Engineering
Contributions
ICSE 2024-profile
View general profile
View general profile