Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Armando Solar-Lezama

Not registered as user yet

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: http://people.csail.mit.edu/asolar/


Onward!Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2014co-author of Improved Program Synthesis Through the Use of Packages within the Student Research Competition-track
Show activities from other conferences

SPLASH 2014-profile
View general profile