Armando Solar-Lezama

Fellow

Computer Assisted Programming Group, Massachusetts Institute of Technology, USA

more information: https://people.csail.mit.edu/asolar/