[ad_1]
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 individual 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 excellent 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 laptop 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 methods 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 keen on software program synthesis and its functions to explicit program domains akin to high-performance computing. He first discovered this area of interest space of program synthesis as a graduate scholar on the University of California at Berkeley, for which his thesis venture, a language known as Sketch, treats program synthesis as a search drawback wherein 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 discipline it’s at present.