Armando Solar-Lezama, Distinguished Professor of Computing and Associate Director of the Computer Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology (MIT), ...