Computer Science Department (room 319)
University of Pisa
Largo Bruno Pontecorvo, 3
56127 PISA - Italy
+39 050 2212785
+39 050 2212726
#NoWar "The fate of all mankind, I see, is in the hands of fools"
R. Bruni, U. Montanari
Models of Computation
Texts in Theoretical Computer Science
An EATCS Series. Springer, 2016
ISBN: 9783319429007
Models of Computation
Texts in Theoretical Computer Science
An EATCS Series. Springer, 2016
ISBN: 9783319429007
R. Bruni, U. Montanari
Costruzioni per la semantica operazionale della concorrenza
in La matematica, vol. IV: Pensare il mondo
Einaudi, 2010
ISBN: 9788806164270
Costruzioni per la semantica operazionale della concorrenza
in La matematica, vol. IV: Pensare il mondo
Einaudi, 2010
ISBN: 9788806164270
R. Bruni, A. Corradini, V. Gervasi
Programmazione in Java (2 ed.)
Idee & Strumenti (1 ed. 2009)
Apogeo Education - Maggioli Editore, 2011
ISBN: 8838786356
Programmazione in Java (2 ed.)
Idee & Strumenti (1 ed. 2009)
Apogeo Education - Maggioli Editore, 2011
ISBN: 8838786356
A.A. 2023/24:
Business Processes Modeling (6 cfu - Teams)
(Master Degree in Data Science and Business Informatics, in English)
(Master Degree in Data Science and Business Informatics, in English)
Introduction to Quantum Computing (6 cfu)
(Master Degree in Computer Science, in English)
(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)
(BISS 2024 - Bertinoro International Spring School, PhD level, in English)
A.A. 2022/23:
Business Processes Modeling (6 cfu - Teams)
(Master Degree in Data Science and Business Informatics, in English)
(Master Degree in Data Science and Business Informatics, in English)
Foundation of Computing (6 cfu - Teams)
(Master Degree in Computer Science, in English)
(Master Degree in Computer Science, in English)
Introduction to Quantum Computing (6 cfu)
(Master Degree in Computer Science, in English)
(Master Degree in Computer Science, in English)
Principles of Abstract Interpretation (20h, Teams)
(PhD in Computer Science, in English)
(PhD in Computer Science, in English)
RemConf
Confusion removal in Petri netsLink
The Link Calculus Web PageBioReSolve
SOS Semantics for Reaction Systems
Conferences
- PC member of
WRLA 2022
(April 2-3, 2022, Munich, Germany)
Projects (past and present)
- PRA (Univ. Pisa) project FM4HD
- PRIN project ASPRA
- PRA (Univ. Pisa) project DECLWARE
- PRA (Univ. Pisa) project FOG
- PRIN project CINA
- IST-FP7 on FET-Open Integrated Project ASCENS
- PRIN project IPODS
- FIRB Project TOCAI.IT
- IST-FP6 on FET-GC2 Integrated Project SENSORIA
- MIUR Project ISMANET
- MIUR Project CoMeta
- IST Programme on FET-GC Project AGILE
- MSRC Project NAPI
- TMR Network GETGRATS
- MURST Project TOSCA
- ESPRIT Working Group CONFER2
- ESPRIT Working Group Coordina
- MURST ProjectTecniche Formali per Sistemi Software
- CNR Integrated ProjectMetodi e Strumenti per Sistemi Connessi mediante Reti
Previously
- PhD Student (University of Pisa)
- International Fellow (SRI Computer Science Laboratory)
- Visiting scholar (UIUC at Urbana-Champaign)
Travel Information
Italian Railways (real time status)
Die Bahn Travel Service
Pisa Airport (real time status)
Florence Airport (real time status)
Colleagues
