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). (…)
Mai mult, pe www.hope.ro
