![Armando Solar-Lezama - Headshot](/sites/default/files/styles/person_photo_long/public/2023-06/Screenshot%202023-06-13%20at%207.23.10%20PM.png?h=0728ff81&itok=mNTarsXv)
Armando Solar-Lezama
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.