Prof. Roberto Gorrieri

Dipartimento di Informatica - Scienza e Ingegneria

Mura Anteo Zamboni 7

40127 Bologna, Italy

email: roberto dot gorrieri at unibo dot it

 

 

Didattica

Linguaggi di Programmazione (laurea triennale in informatica, secondo anno)

Modelli e Sistemi Concorrenti (laurea magistrale in informatica, secondo anno)

Informatica (laurea triennale in podologia, primo anno)

 

Professional Activities

Books: 

1. R. Gorrieri,  "Process Algebras for Petri Nets -- The Alphabetization of Distributed Systems",

EATCS Monographs in TCS, Springer, 2017.

2. R. Gorrieri, C. Versari,  "Introduction to Concurrency Theory -- Transition Systems and CCS",

EATCS Texts in TCS, Springer, 2015.

 

Recent papers

Old papers

 

Altre attività

1. Nicoletta Leali, Roberto Gorrieri, “Genitivi – Dall'Arca di Noè alla Z di Zorro”, Sometti, Aprile 2020. In vendita su Sometti, Amazon, IBS, LaFeltrinelli, LibreriaUniversitaria, Unilibro, Il Libraccio.

2. Paolo Leali, Roberto Gorrieri, “Filosofi a cena – Racconti in agrodolce con enigmi conviviali”, Albatros Il filo, Dicembre 2018. In vendita su  Albatros, Amazon, IBS, LaFeltrinelli, LibreriaUniversitaria, MondadoriStore, Unilibro, Hoepli, Il Libraccio.