PhD Seminar • Formal Methods • Pierce: A Testing Tool for Neural Network Verification Solvers
Please note: This PhD seminar will take place online.
Joseph Scott, PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Jo Atlee, Vijay Ganesh