Isil Dillig (left) and Swarat Chaudhuri are part of a new, multi-institution initiative aimed at better understanding what happens inside artificial intelligence "black boxes."
Robert van de Geijn, Lee Killough, and Tze Meng Low accepting the award at PP20 in Seattle, Washington
The UT Programming Team at the ICPC NAC in Atlanta, Georgia
Yuepeng Wang, sixth-year PhD student in Dr. Işıl Dillig’s lab
Locomation trucks in convoy formation