MIT Stepheno A. Schwarzmano skaičiavimo koledžas liepos 1 d. paskelbė Armando Solar-Lezama inauguraciniu informatikos profesoriumi.
Solar-Lezama yra pirmasis asmuo, paskirtas į šias pareigas, dosniai apdovanotas profesoriaus Jae S. Limo iš Elektros inžinerijos ir kompiuterių mokslo (EECS) katedros. Įkurta MIT Schwarzman skaičiavimo koledže, katedra įteikiama Solar-Lezama už išskirtinį fakulteto narį, pripažintą kaip lyderį ir novatorių.
„Džiaugiuosi galėdamas paskirti šį paskyrimą ir pripažinti Armando už puikų indėlį į MIT ir mokslo bendruomenę“, – sako Danielis Huttenlocheris, MIT Schwarzmano skaičiavimo koledžo dekanas ir Henry Ellis Warren, elektros inžinerijos ir kompiuterių mokslo profesorius. „Labai dėkoju profesoriui Limui už jo apgalvotą gestą kuriant šią naują katedrą kolegijoje, suteikiantį mums galimybę pripažinti mūsų fakulteto pasiekimus.
Solar-Lezama, elektros inžinerijos ir informatikos profesorius, vadovauja Kompiuterinio programavimo grupei Kompiuterinių mokslų ir dirbtinio intelekto laboratorijoje (CSAIL), kuri daugiausia dėmesio skiria programų sintezei – tyrimų sričiai, kuri yra programavimo sistemų ir programavimo sistemų sankirtoje. dirbtinis intelektas. Grupės tyrimai svyruoja nuo naujų analizės metodų ir automatizuotų samprotavimo mechanizmų kūrimo iki naujų programavimo modelių, kurie automatizuoja sudėtingus programavimo aspektus, kūrimo.
Nuo 2008 m. EECS fakulteto narys Solar-Lezama, kuris taip pat yra CSAIL asocijuotas direktorius ir vyriausiasis operatyvinis pareigūnas, labiausiai domisi programinės įrangos sinteze ir jos taikymu tam tikrose programų srityse, pavyzdžiui, didelio našumo kompiuteriams. Šią programų sintezės nišą jis pirmą kartą atrado būdamas Kalifornijos universiteto Berklyje magistrantūros studentas, kuriam jo baigiamasis projektas, kalba vadinama Sketch, programos sintezę traktuoja kaip paieškos problemą, kurioje algoritmai sumažina paieškos erdvę. paieška greitesnė ir efektyvesnė. Nuo tada programų sintezės tyrimai labai išsiplėtė į aktyvią sritį, kuri yra šiandien.
