Foto del docente

Roberto Gorrieri

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Temi di ricerca

Parole chiave: Modelli per la descrizione di sistemi concorrenti Algebre di Processi e Reti di Petri Sicurezza Computazione service-oriented

Roberto Gorrieri si occupa principalmente di metodi formali per la modellazione, il progetto, la specifica e la verifica di sistemi reattivi, concorrenti, distribuiti, mobili e real-time. Per metodi formali si intendono quelle tecniche e metodologie, matematicamente ben fondate, per la descrizione e l'analisi formale di tali sistemi. Tra queste tecniche, particolare enfasi rivestono le algebre di processi e le reti di Petri. Le aree applicative dove queste tecniche possono essere utilizzate includono la specifica e l'analisi di proprietà di sicurezza (information flow, non-interferenza, autenticazione, segretezza, integrità), lo studio di modelli e tecniche di analisi per sistemi real-time (timed automata) e per valutazione di prestazioni (algebre di process stocastiche), lo studio di sistemi biologici complessi (calcoli per la concorrenza ispirati dalla biologia, modelli per i bio-pathways) ed anche nuovi paradigmi come la computazione service-oriented.

NULL

Ultimi avvisi

Al momento non sono presenti avvisi.