The MIT Stephen A. Schwarzman College of Computing named Armando Solar-Lezama because the inaugural Distinguished College of Computing Professor, efficient July 1.
Solar-Lezama is the primary particular person appointed to this place generously endowed by Professor Jae S. Lim of the Department of Electrical Engineering and Computer Science (EECS). Established within the MIT Schwarzman College of Computing, the chair is being awarded to Solar-Lezama for being an impressive college member who’s acknowledged as a frontrunner and innovator.
“I’m pleased to make this appointment and recognize Armando for his remarkable contributions to MIT and the scientific community,” says Daniel Huttenlocher, dean of the MIT Schwarzman College of Computing and the Henry Ellis Warren Professor of Electrical Engineering and Computer Science. “I’m greatly appreciative of Professor Lim for his thoughtful gesture in creating this new chair in the college, providing us with the opportunity to acknowledge the accomplishments of our faculty.”
Solar-Lezama, a professor of electrical engineering and pc science, leads the Computer-Aided Programming Group within the Computer Science and Artificial Intelligence Laboratory (CSAIL) that focuses on program synthesis, an space of analysis that lies on the intersection of programming programs 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, Solar-Lezama, who additionally serves because the affiliate director and chief working officer for CSAIL, is most inquisitive about software program synthesis and its purposes to explicit program domains similar to high-performance computing. He first discovered this area of interest space of program synthesis as a graduate pupil on the University of California at Berkeley, for which his thesis mission, a language known as Sketch, treats program synthesis as a search drawback through which the algorithms pare down the search area to make the search sooner and extra environment friendly. Since then, program synthesis analysis has tremendously expanded into the lively discipline it’s at present.