Roberto Bruni

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

How to get to the Department

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)

Professional Services

Member of

• PC of FACS 2019
  (23-25 October, 2019, Amsterdam, The Netherlands)
  Abstract due: July 5, 2019
  Paper due: July 12, 2019
  Notification: August 30, 2019

• PC of SEFM 2019
  (16-20 September, 2019, Oslo, Norway)
  Notification: June 25, 2019

• PC of EXPRESS/SOS 2019
  (26 August, 2019, Amsterdam, The Netherlands)
  Paper due: June 28, 2019
  Notification: July 26, 2019

• 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

• PhD Student (University of Pisa)
• International Fellow (SRI Computer Science Laboratory)
• Visiting scholar (UIUC at Urbana-Champaign)

Research Pages

Publications

Some Co-Authors

Farhad Arbab Paolo Baldan Chiara Bodei Michele Boreale Andrea Bracciali Linda Brodo Antonio Bucchiarone Michael Butler Dave Clarke Andrea Corradini Rocco De Nicola David de Frutos-Escrig Gianluigi Ferrari Carla Ferreira José Luiz Fiadeiro Fabio Gadducci Roberto Giacobazzi Stefania Gnesi Roberta Gori Roberto Guanciale Dan Hirsch Tony Hoare Furio Honsell Anne Kersten Ivan Lanese Cosimo Laneve Marina Lenisa Zhiming Liu Alberto Lluch-Lafuente Antónia Lopes Michele Loreti Narciso Martí-Oliet Hernán Melgratti José Meseguer Leonardo Mezzina Marino Miculan Ugo Montanari Gordon Plotkin Francesca Rossi Matteo Sammartino Vladimiro Sassone Pawel Sobocinski Giorgio Spagnolo Daniele Strollo Emilio Tuosto Andrea Vandin Martin Wirsing Liang Zhao