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.
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.