Roberto Gorrieri
Die Suchergebnisse bei Legimi sind auf die vom Nutzer angegebenen Suchkriterien zugeschnitten. Wir versuchen Titel, die für unsere Nutzer von besonderem Interesse sein könnten, durch die Bezeichnung "Bestseller" oder "Neuheit" hervorzuheben. Titel in der Liste der Suchergebnisse können auch sortiert werden - die Sortierauswahl hat Vorrang vor anderen Ergebnissen."

Roberto Gorrieri is a professor in the Università di Bologna. His research and teaching interests include theoretical computer science, particularly concurrency, the foundations of software engineering, and the foundations of security. He coauthored the textbook "Introduction to Concurrency Theory: Transition Systems and CCS" in 2015, and he has authored over 140 formal academic publications. He received his PhD in Computer Science from the Università di Pisa.