Armando Solar-Lezama

Research area: automated generation of computer programs, machine learning
Department organization: Computer Science and Artificial Intelligence Laboratory (CSAIL)