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. 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 WRLA 2018
(14-15 April 2018. Thessaloniki, Greece)
Deadline: 5 January 2018
Notification: 16 February 2018
PC of FACS 2017
(10-13 October 2017, Braga, Portugal)
PC of COORDINATION 2017
(19-21 June 2017, Neuchatel, Switzerland)
Projects (past and present)
- 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

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