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

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