INFORMATICA
La proclamazione il 5 maggio a Città del Capo
Ricercatore italiano premiato dalla Microsoft
TRENTO - E’ fra i 12 ricercatori che a livello mondiale
sono riusciti ad aggiudicarsi uno dei premi messi a disposizione dal settore
Ricerca della Microsoft per progetti innovativi nel campo dell’ingegneria del
software. Stefano Tonetta, ricercatore all’Unità “Embedded
Systems” del Centro
Tonetta, classe
Nel progetto, Tonetta, che
svolge attività di ricerca alla FBK con una borsa finanziata dalla Provincia
autonoma di Trento, ha portato competenze tecniche e strumenti per la verifica
formale di sistemi critici, settore in cui da anni è attiva l’Unità di Ricerca
“Embedded Systems” della
FBK guidata da Alessandro Cimatti.
La proclamazione del premio avverrà mercoledì 5 maggio
a Città del Capo. (vl/