Trei cercetători români specializați în Informatică au fost incluși pe lista celor mai prestigioși 68 de membri ai Association for Computing Machinery
Mangalia News
Trei cercetători români specializați în informatică au fost incluși pe lista celor mai prestigioși 68 de membri ai Association for Computing Machinery.
Cei trei cercetători sunt: Maria-Florina Balcan, de la Carnegie Mellon University (pentru contribuții la fundamentele învățării automate și la aplicațiile sale la economia algoritmică și la proiectarea algoritmilor); Corina Păsăreanu, tot de la Carnegie Mellon University și NASA Ames (pentru contribuții la dezvoltarea și aplicarea execuției simbolice și a verificării compoziționale) și Ștefan Saroiu, de la Microsoft (pentru contribuții în domeniul securității memoriei și al informaticii de încredere). (…)
