Two-time University of Nebraska–Lincoln graduate David Shriver has been recognized by the Association of Computing Machinery with the 2023 ACM SIGSOFT Outstanding Doctoral Dissertation Award.
Shriver received the award for his Ph.D. thesis, “Increasing the Applicability of Verification Tools for Neural Networks.” He completed his thesis at the University of Virginia, advised by Matthew Dwyer and Sebastian Elbaum, also previously with the University of Nebraska–Lincoln.
Shriver received a B.S. in Computer Engineering in 2016 and an M.S. in Computer Science in 2018 from the University of Nebraska-Lincoln. He then completed his Ph.D. in Computer Science at the University of Virginia in 2022. Shriver is now a Machine Learning Research Scientist in the AI Division of the Software Engineering Institute at Carnegie Mellon University. His research interests focus on assuring the correctness of machine learned systems, particularly methods for verification and validation of AI models.
Recipients of the 2023 ACM SIGSOFT awards will be recognized during the 2023 IEEE/ACM International Conference on Software Engineering (ICSE), which will be held May 14-20 in Melbourne, Australia. ICSE provides a forum where researchers, practitioners, and educators gather together to present and discuss the most recent innovations, trends, experiences and issues in the field of software engineering.
ACM brings together computing educators, researchers, and professionals to inspire dialogue, share resources, and address the field's challenges. As the world’s largest computing society, ACM strengthens the profession's collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life‐long learning, career development, and professional networking.