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  

 

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. 2024/25:

Program analysis (8h - Zoom)
(PhD advanced course, GSSI, in English)
Business Processes Modeling (6 cfu - Teams)
(Master Degree in Data Science and Business Informatics, in English)
Principles for Software Composition (9 cfu - Teams)
(Master Degree in Computer Science, in English)
Introduction to Quantum Computing (6 cfu)
(Master Degree in Computer Science, in English)
Program analysis (16h)
(PhD in Computer Science, Pisa, in English)
Logic and Reasoning (3 cfu - Streaming via Teams)
(Foundation Course, in English)

A.A. 2023/24:

Business Processes Modeling (6 cfu - Teams)
(Master Degree in Data Science and Business Informatics, in English)
Principles for Software Composition (9 cfu - Teams)
(Master Degree in Computer Science, in English)
Introduction to Quantum Computing (6 cfu)
(Master Degree in Computer Science, in English)
Program analysis: from proving correctness to proving incorrectness (12h)
(BISS 2024 - Bertinoro International Spring School, PhD level, in English)
Logic and Reasoning (3 cfu - Teams)
(Foundation Course, in English)

Research  

 

RemConf

Confusion removal in Petri nets

Link

The Link Calculus Web Page

BioReSolve

SOS Semantics for Reaction Systems

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
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
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
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
Gordon Plotkin
Francesco Ranzato
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

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

Colleagues

Colleagues from the CS Department