Roberto Bruni

Associate Professor
(Computer Science Department, University of Pisa)

"People before profit"

Bookshelf
	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

email address

Maps and Travel Information

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

Teaching (Home CLI, UNIMAP)

A.A. 2012/13:

Methods for the specification and verification of business processes (6 cfu)
(Laurea Magistrale in Informatica e Networking / Informatica / Business Informatics, in English)
Programmazione e Analisi dei Dati
Mod. A - Programmazione in Java (6 cfu)
(Laurea Magistrale in Informatica Umanistica, in Italian)

Professional Services

Member of

PC of ACM SAC 2014 (SOAP track)
(Gyeongju, Korea, 24-28 March, 2014)
PC of FSTTCS 2013
(IIT Guwahati, India, 10-14 December, 2013)
PC of FACS 2013
(Nanchang, China, 28-30 October, 2013)
PC of ICE 2013
(Florence, Italy, 6 June, 2013)
Projects (past and present)
- IST-FP7 on FET-Open Integrated Project ASCENS (ASCENS-internal-Wiki)
- 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