David Shriver earns his Ph.D

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
  • Avatar
    Sebastian Elbaum
    Anita Jones Professor of Computer Science.