David Shriver
David Shriver
Pronouns: he/him
Researcher, AI Division, Software Engineering Institute, Carnegie Mellon University
- Joined December 2019
Names
Emails
****@sei.cmu.edu (Confirmed)
, ****@outlook.com (Confirmed)
, ****@andrew.cmu.edu (Confirmed)
Personal Links
Career & Education History
Researcher
AI Division, Software Engineering Institute, Carnegie Mellon University (sei.cmu.edu)
2023 – Present
PhD student
Computer Science, University of Virginia (virginia.edu)
2018 – 2022
MS student
Computer Science and Engineering, University of Nebraska, Lincoln (unl.edu)
2016 – 2018
Undergrad student
Computer Science and Engineering, University of Nebraska, Lincoln (unl.edu)
2012 – 2016
Advisors, Relations & Conflicts
Expertise
adversarial machine learning, adversarial attacks
2020 – Present
formal methods, formal verification, safety, correctness
2018 – Present