Armando Solar-Lezama

Registered user since Mon 10 Jun 2019

Name: Armando Solar-Lezama

Bio: I work with the Computer Assisted Programming Group; our goal is to develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems.

Country: United States

Affiliation: MIT

Personal website:


PLOOC 2015Presenter of Opening and Welcome within the PLOOC 2015-track
Co-chair in Program Committee within the PLOOC 2015-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences

PLDI 2015-profile
View general profile