Thesis Title: Certifying Trustworthy Deep Learning Systems at Scale
Bo Li (Co-Chair and Director of Research)
Tao Xie (Co-Chair)
Carl Gunter
J. Zico Kolter (CMU)
