Roberto Bruni

Associate Professor
(Computer Science Department, University of Pisa)

"People before profit"

Bookshelf
	R. Bruni, U. Montanari 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	R. Bruni, A. Corradini, V. Gervasi Programmazione in Java Idee & Strumenti. Apogeo, 2009 ISBN: 9788850326617	R. Bruni, A. Corradini, V. Gervasi Programmazione in Java (2 ed.) Idee & Strumenti. Apogeo, 2011 ISBN: 9788850330690

Contact information

Computer Science Dept. (room 319)

University of Pisa

Largo Bruno Pontecorvo, 3

56127 PISA - Italy

+39 050 2212785

+39 050 2212726

Maps and Travel Information

	Italian Railways (real time status)
	Die Bahn Travel Service
	Pisa Airport (real time status)
	Florence Airport

Teaching (UNIMAP)

A.A. 2019/20:

Business Processes Modeling (6 cfu)
(Master Degree in Computer Science and Networking / Data Science and Business Informatics, in English)
Principles for Software Composition (9 cfu)
(Master Degree in Computer Science, in English)

A.A. 2018/19:

Business Processes Modeling (6 cfu)
(Master Degree in Computer Science and Networking / Data Science and Business Informatics, in English)
Principles for Software Composition (9 cfu)
(Master Degree in Computer Science, in English)

Professional Services

Member of

PC of FACS 2019
(23-25 October, 2019, Amsterdam, The Netherlands)
Notification: September 6, 2019
PC of SEFM 2019
(16-20 September, 2019, Oslo, Norway)
PC of EXPRESS/SOS 2019
(26 August, 2019, Amsterdam, The Netherlands)
PC of COORDINATION 2019
(18-21 June, 2019, Lyngby, Denmark)
PC of MFPS 2019
(4–7 June, 2019, London, UK)
Projects (past and present)
- PRA (Univ. Pisa) project DECLWARE
- PRA (Univ. Pisa) project FOG
- PRIN project CINA
- IST-FP7 on FET-Open Integrated Project ASCENS
  (ASCENS-internal-Wiki)
- PRIN project IPODS
- FIRB Project TOCAI.IT
- IST-FP6 on FET-GC2 Integrated Project SENSORIA
  (SENSORIA-internal-Wiki, SENSORIA-admin-Wiki, SARGE)
- MIUR Project ISMANET
- MIUR Project CoMeta
- IST Programme on FET-GC Project AGILE
- MSRC Project NAPI
- TMR Network GETGRATS

Previously

Research Pages

RemConf	Confusion removal in Petri nets
Link	Link Calculus

Publications

Anagrafe Ricerca	Elenco pubblicazioni (in Italian)
DBLP	list of publications
Scopus	list of publications
GoogleScholar	list of publications
ACM-DL	list of publications
ResearchGate	list of publications
CiteSeerX	list of publications
Arnetminer	list of publications
CSB	list of publications
MS-Academic	list of publications