Short Curriculum Vitae 


  • 2005 Full Professor, at the site of Bologna. 
    		•
  • 2000 Appointed full professor at the University of Bologna, site of Cesena. 
    		•
  • 1992 Appointed associate professor at the University of Bologna. 
    		•
  • 1991 Appointed assistant professor at the University of Bologna.
    		•
  • 1991 Ph.D in computer science from the University of Pisa. The thesis is entitled "Refinement, Atomicity and Transactions for Process Description Languages (advisor: Ugo Montanari; co-advisor: Pierpaolo Degano; opponents: Matthew Hennessy and Mogens Nielsen).
    		•
  • 1986 Master's in computer science (cum laude) from the University of Pisa. The thesis is entilted "CCS based semantics for Distributed Systems" (advisor: Ugo Montanari; opponent: Pierpaolo Degano). 
    		•

    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. His research interests include: theory of concurrency and coordination, formal methods, service-oriented computing, security, real-time and performance evaluation. Gorrieri is author of more than 120 papers published in international journals or proceedings of international conferences, and editor of six volumes. He was 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), currently member also of IFIP WG 6.1 on "Architectures and Protocols for Computer Networks", member of the steering committee of the European Educational Forum, member of the editorial board of the journal Theoretical Computer Science (Elsevier), member of the advisory board for the International Journal of Information Security (Springer), member of the editorial board for the journal Transactions on Petri Nets and Other Models of Concurrency (Springer), and he is (or was) member of the steering committe for 6 international conferences (ETAPS, ICALP, IEEE Computer Security Foundations Workshop CSFW, Coordination, PAPM, FMOODS). Gorrieri has taken part to many research projects funded by the European Community or by the Italian MURST and CNR, or by industries (e.g., the project "Security and Mobility" funded by Microsoft Research, Cambridge, UK).

    A detailed curriculum (in Italian)

    Back to my home page