Roberto Gorrieri (laurea nel 1986, dottorato nel 1991, da
Università di Pisa) è Professore di Informatica presso la Facoltà
di Scienze dell'Università di Bologna dal 2000. I suoi interessi di
ricerca includono: teoria della concorrenza e coordinazione,
sicurezza, systems biology, service-oriented computing, real-time e
performance evaluation. Gorrieri è autore di più di 140 articoli
pubblicati in riviste internazionali o atti di conferenze
internazionali, autore di due libri e curatore di nove volumi. Ha servito come membro
dell'executive board della European Association for Theoretical
Computer Science (EATCS -- 1997-2002), segretario
dell'International Federation for Information Processing Technical
Committee 1 (IFIP TC1 on "Theory of Computation" -- 1997-2002),
fondatore di IFIP Working Group 1.7 on "Foundations of Security
Analysis and Design" (FOSAD) e presidente nel periodo 1999-2005,
membro del comitato editoriale del giornale Theoretical Computer
Science (Elsevier) fino al 2011, membro del comitato editoriale del
giornale Transactions on Petri Nets and Other Models of Concurrency
(Springer) fino al 2013, membro dell'advisory board del
giornale International Journal of Information Security
(Springer), Gorrieri è stato membro dello steering committe di
alcune conferenze internazionali (ETAPS, ICALP, IEEE Computer
Security Foundations Symposium, FMOODS). Egli ha anche preso parte
a molti progetti finanziati dalla EU (ad esempio, il progetto
Sensoria), dal Ministero della Ricerca MIUR (ad esempio,
coordinatore nazionale del progetto Mefisto), dal CNR, o da
industrie private (ad esempio, il progetto "Security and Mobility"
finanziato da Microsoft Research, Cambridge, UK).
