David Shriver earned his Ph.D.
His dissertation is entitled
"Increasing the Applicability of Verification Tools for Neural Networks".
Both Matt and I are very proud of David and his accomplishments during his graduate studies
and wish him best of luck in his future endeavors.
Some of the infrastructure David build is available here:
https://github.com/dlshriver/DNNV
https://github.com/dlshriver/DNNF