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 processi stocastici), 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.