Cherubino Logo University of Pisa

Roberto Bruni

Full Professor
Computer Science Department
University of Pisa
CV (Jan. 2023)
Computer Science Department (room 319)
University of Pisa
Largo Bruno Pontecorvo, 3
56127 PISA - Italy
+39 050 2212785
+39 050 2212726
email address

#NoWar "The fate of all mankind, I see, is in the hands of fools"

Bookshelf  

 

Storia dell'informatica italiana. Prima parte, vol. 3, Cnr Edizioni
R. Bruni, U. Montanari
Sistemi concorrenti
in Storia dell'informatica italiana.
Prima parte, vol. 3
Cnr Edizioni, Roma. 2025
ISBN: 9788880806806
Models of Computation, Springer
R. Bruni, U. Montanari
Models of Computation
Texts in Theoretical Computer Science
An EATCS Series. Springer, 2016
ISBN: 9783319429007
La Matematica IV: Pensare il mondo, Einaudi
R. Bruni, U. Montanari
Costruzioni per la semantica operazionale della concorrenza
in La matematica, vol. IV: Pensare il mondo
Einaudi, 2010
ISBN: 9788806164270
Programmazione in Java, Apogeo Programmazione in Java (2 ed.), Apogeo
R. Bruni, A. Corradini, V. Gervasi
Programmazione in Java (2 ed.)
Idee & Strumenti (1 ed. 2009)
Apogeo Education - Maggioli Editore, 2011
ISBN: 8838786356

Teaching (UNIMAP)  

 

A.A. 2026/27:

735AA - Programmazione e Algoritimica corso B (15 cfu - Google Classroom)
(Laurea in Informatica, in Italian)
0077A - Models for Programming Paradigms (9 cfu - Teams)
(Master Degree in Computer Science, in English)
295AA - Business Processes Modeling (6 cfu - Teams)
(Master Degree in Data Science and Business Informatics, in English)
0078A - Program Analysis (6 cfu - Teams)
(Master Degree in Computer Science, in English)
756AA - Introduction to Quantum Computing (6 cfu)
(Master Degree in Computer Science, in English)
Logic and Reasoning (3 cfu - Teams)
(Foundation Course, in English)

A.A. 2025/26:

735AA - Programmazione e Algoritimica corso B (15 cfu - Google Classroom)
(Laurea in Informatica, in Italian)
0077A - Models for Programming Paradigms (9 cfu - Teams)
(Master Degree in Computer Science, in English)
295AA - Business Processes Modeling (6 cfu - Teams)
(Master Degree in Data Science and Business Informatics, in English)
0078A - Program Analysis (6 cfu - Teams)
(Master Degree in Computer Science, in English)
756AA - Introduction to Quantum Computing (6 cfu)
(Master Degree in Computer Science, in English)
Logic and Reasoning (3 cfu - Streaming via Teams)
(Foundation Course, in English)

Research  

 

RemConf

Confusion removal in Petri nets

Link

The Link Calculus Web Page

BioReSolve

SOS Semantics for Reaction Systems

bpmn2petrinet

Translate BPMN to Petri Net

Publications  

 

Anagrafe Ricerca

DBLP

ORCID
Google Scholar

Scopus

WoS Publons
ACM Digital Library

ResearchGate

CiteSeerX
ArnetMiner

The collection of computer science bibiliographies

Microsoft Academic

Professional Duties  

 

Conferences

Projects (past and present)

Previously

Some Co-Authors  

 

Farhad Arbab
Flavio Ascari
Paolo Baldan
Chiara Bodei
Filippo Bonchi
Michele Boreale
Juliana Bowles
Andrea Bracciali
Linda Brodo
Antonio Bucchiarone
Michael Butler
Dave Clarke
Andrea Corradini
Rocco De Nicola
David de Frutos-Escrig
Moreno Falaschi
Gianluigi Ferrari
Carla Ferreira
José Luiz Fiadeiro
Fabio Gadducci
Lorenzo Gazzella
Roberto Giacobazzi
Stefania Gnesi
Roberta Gori
Roberto Guanciale
Dan Hirsch
Ichiro Hasuo
Tony Hoare
Furio Honsell
Anne Kersten
Mayuko Kori
Ivan Lanese
Cosimo Laneve
Marina Lenisa
Francesca Levi
Zhiming Liu
Alberto Lluch-Lafuente
Francesco Logozzo
Antónia Lopes
Michele Loreti
Nicolas Manini
Narciso Martí-Oliet
Hernán Melgratti
José Meseguer
Leonardo Mezzina
Marino Miculan
Paolo Milazzo
Ugo Montanari
Dusko Pavlovic
Ion Petre
Gordon Plotkin
Azalea Raad
Francesco Ranzato
Diletta Rigo
Arend Rensink
Francesca Rossi
Matteo Sammartino
Vladimiro Sassone
Pawel Sobocinski
Giorgio Spagnolo
Daniele Strollo
Emilio Tuosto
Andrea Vandin
Martin Wirsing
Liang Zhao

Maps and Travel Information  

 

Travel Information

Timetable Italian Railways  Italian Railways (real time status)
Timetable Italian Railways at Die Bahn  Die Bahn Travel Service
Pisa International Airport (Galileo Galilei)  Pisa Airport (real time status)
Florence Airport (Amerigo Vespucci)  Florence Airport (real time status)

Maps and more

Useful links
How to get to the Department
Map of the Department
Google maps

Colleagues

Colleagues from the CS Department