Armando Solar-Lezama named inaugural Distinguished College of Computing Professor | MIT News

The MIT Stephen A. Schwarzman School of Computing named Armando Photo voltaic-Lezama because the inaugural Distinguished School of Computing Professor, efficient July 1. 

Photo voltaic-Lezama is the primary particular person appointed to this place generously endowed by Professor Jae S. Lim of the Division of Electrical Engineering and Pc Science (EECS). Established within the MIT Schwarzman School of Computing, the chair is being awarded to Photo voltaic-Lezama for being an excellent college member who’s acknowledged as a frontrunner and innovator.

“I’m happy to make this appointment and acknowledge Armando for his exceptional contributions to MIT and the scientific neighborhood,” says Daniel Huttenlocher, dean of the MIT Schwarzman School of Computing and the Henry Ellis Warren Professor of Electrical Engineering and Pc Science. “I’m vastly appreciative of Professor Lim for his considerate gesture in creating this new chair within the school, offering us with the chance to acknowledge the accomplishments of our college.”

Photo voltaic-Lezama, a professor {of electrical} engineering and laptop science, leads the Pc-Aided Programming Group within the Pc Science and Synthetic Intelligence Laboratory (CSAIL) that focuses on program synthesis, an space of analysis that lies on the intersection of programming techniques and synthetic intelligence. The group’s analysis ranges from designing new evaluation strategies and automatic reasoning mechanisms to creating new programming fashions that automate difficult features of programming.

A member of the EECS college since 2008, Photo voltaic-Lezama, who additionally serves because the affiliate director and chief working officer for CSAIL, is most keen on software program synthesis and its purposes to specific program domains akin to high-performance computing. He first discovered this area of interest space of program synthesis as a graduate scholar on the College of California at Berkeley, for which his thesis mission, a language referred to as Sketch, treats program synthesis as a search drawback by which the algorithms pare down the search house to make the search sooner and extra environment friendly. Since then, program synthesis analysis has vastly expanded into the lively area it’s right now.

Leave a Comment