Professor Armando Solar-Lezama leads the Computer Assisted Programming Group. His research focuses on program synthesis, an exciting research area that lies at the intersection of Programming Systems and Artificial Intelligence.