He leads the Computer Assisted Programming Group at the Massachusetts Institute of Technology. His research focuses on software synthesis and its applications in diverse areas such as high-performance computing, information flow security, probabilistic programming, and machine learning.
In his own words, Armando Solar describes Program Synthesis as an area that lies at the intersection of Programming Systems and Artificial Intelligence. It consists in the automatization of programs construction from high-level specifications.
Before getting to MIT, Armando Solar created, as part of his thesis project in Berkley, a language called Sketch that lets programmers describe program functionality in general terms and automatically fills in the computational details.