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

A.A. 2017/18:

Methods for the specification and verification of business processes (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)
Abstract due: June 21, 2019
Paper due: June 28, 2019
Notification: August 30, 2019
PC of SEFM 2019
(16-20 September, 2019, Oslo, Norway)
Abstract due: May 3, 2019
Paper due: May 10, 2019
Notification: June 25, 2019
PC of EXPRESS/SOS 2019
(26 August, 2019, Amsterdam, The Netherlands)
Paper due: June 21, 2019
Notification: July 26, 2019
PC of COORDINATION 2019
(18-21 June, 2019, Lyngby, Denmark)
Abstract due: February 15, 2019
Paper due: February 22, 2019
Notification: April 12, 2019
PC of MFPS 2019
(4–7 June, 2019, London, UK)
Abstract due: April 1, 2019
Paper due: April 4, 2019
Notification: May 10, 2019
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 Activity

RemConf	Confusion removal in Petri nets
Link	Link Calculus
Anagrafe Ricerca	Elenco pubblicazioni (in Italian)
	Searchable publications (November 2012, including papers to appear and drafts, Javascript required)
DBLP	list of publications
MetaPress	list of publications
GoogleScholar	list of publications
CiteSeerX	list of publications
ResearchGate	list of publications
Arnetminer	list of publications
PubZone	list of publications
ACM-DL	list of publications
CSB	list of publications
Scopus	list of publications
MS-Academic	list of publications