Roberto Gorrieri (Ms'86, PhD'91 both from Pisa University) is
Professor of Computer Science at the Faculty of Science of the
Universty of Bologna since 2000. His research interests include:
theory of concurrency and coordination, security, systems biology,
service-oriented computing, real-time and performance evaluation.
Gorrieri is author of more than 140 papers published in
international journals or proceedings of international conferences, author of two books and editor of nine volumes. He served as a member of the executive
board of the European Association for Theoretical Computer Science
(EATCS -- 1997-2002), secretary of international Federation for
Information Processing Technical Committee 1 (IFIP TC1 on "Theory
of Computation" -- 1997-2002), chair of IFIP Working Group 1.7 on
"Foundations of Security Analysis and Design" (FOSAD 1999-2005), member of the editorial board of the journal Theoretical Computer
Science (Elsevier) till 2011, member of the editorial board
for the journal Transactions on Petri Nets and Other Models of
Concurrency (Springer) till 2013, member of the advisory board
for the International Journal of Information Security (Springer),
and he was member of the steering committee for some international
conferences (ETAPS, ICALP, IEEE Computer Security Foundations
Symposium, FMOODS). Gorrieri has taken part to many research
projects funded by the European Community (e.g., Sensoria), or by
the Italian MIUR (e.g., the project Mefisto) and CNR, or by
industries (e.g., the project "Security and Mobility" funded by
Microsoft Research, Cambridge, UK).
