Write a Blog >>
GPCE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Armando Solar-Lezama

Registered user since Mon 10 Jun 2019

Name: Armando Solar-Lezama

Bio: Armando Solar-Lezama is an associate professor at MIT where he leads the Computer Aided Programming Group. His research interests include software synthesis and its applications in diverse areas such as high-performance computing, information flow security and probabilistic programming.

Country: United States

Affiliation: Massachusetts Institute of Technology

Contributions

SPLASH 2019 Program Synthesis with Algebraic Library Specifications
Probabilistic Verification of Fairness Properties via Concentration
Program Synthesis with Algebraic Library Specifications
Show activities from other conferences

SPLASH 2019-profile
View general profile