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

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

A.A. 2022/23:

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)
Foundation of Computing (6 cfu - Teams)
(Master Degree in Computer Science, in English)
Introduction to Quantum Computing (6 cfu)
(Master Degree in Computer Science, in English)
Principles of Abstract Interpretation (20h, Teams)
(PhD in Computer Science, 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  

 

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

Map of the Department
Google maps

Colleagues

Colleagues from the CS Department