TRENTO – Stefano Tonetta, ricercatore all’Unità “Embedded Systems” del Centro Information Technology alla Fondazione Bruno Kessler di Trento, ha superato una selezione internazionale e riceverà direttamente dalla Microsoft un finanziamento premio di 25.000 dollari da utilizzare nell’arco di un anno per proseguire le proprie ricerche.
Tonetta, classe 1977, ha convinto la giuria proponendo un progetto di alto livello per mettere a punto uno strumento open source capace di trovare i possibili difetti nei requisiti di un sistema informatico prima che questo venga sviluppato, consentendo quindi notevoli risparmi di tempo e di investimenti. Caratteristica dello strumento, che sarà utilizzato per nuove applicazioni nel settore della ricerca, sarà la facile fruibilità anche da parte di utenti non esperti nel settore.
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.
