Roberto Bruni

PERSONAL DATA:
Born November 24th, 1967 in Livorno.

EDUCATION:
MSc cum laude in Computer Science at the University of Pisa in 1993.

PhD in Computer Science at the University of Pisa in 1999.

POSITIONS:
International Fellow at the SRI International in Menlo Park (CA, USA) in 1997 and 1998.

Post-Doc position at the University of Pisa during 1999-2001.

Visiting Scholar at the University of Illinois at Urbana-Champaign (USA) with an Italian CNR fellowship in 2002.

Assistant Professor at the Computer Science Department (UNIPI) since October 2002.

Exchange Visitor at the University of Illinois at Urbana-Champaign (USA) during 2004.

Associate Professor at the Computer Science Department (UNIPI) since December 2011.

ROLES:
As of December 2020 he is member of the PhD board on Smart Industry (Pisa, Florence and Siena), vice-president and responsible for the selection of international students of the MSc in Data Science and Business Informatics (UNIPI), member of the didactic committee (GRIN), member of the SIA committee (UNIPI).

He has been director of the Pisa research unit (CINI).

RESEARCH INTERESTS:
Concurrency, semantics, category theory, term and graph rewriting systems, Petri nets, process calculi, behavioural types,
reaction systems, business process models, transactions, multiparty interactions, static analysis, code obfuscation.

He has supervised 4 PhD thesis and published 130 refereed papers in conferences and journals. His h-index is 31 (google scholar).

RESEARCH PROJECTS:
As of December 2020, he is member of projects ASPRA (PRIN 2017, Analysis of Program Analyses) and DECLWARE (PRA 2018 66 UNIPI, Metodologie dichiarative per la progettazione e il deployment di applicazioni).

He has been national coordinator for the project IPODS (PRIN 2008, Interacting Processes in Open-ended Distributed Systems), site leader of projects ASCENS (IST-FP7, FET open Integrated Project, Autonomic Service-Component Ensembles) and CINA (PRIN 2010/11, Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society), and task leader for the project TOSCA (MURST, Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi).

He has participated to the projects SENSORIA (EU IST-FP6 FET-GC2, Integrated Project on Software Engineering for Service Oriented Overlay Computers), AGILE (EU IST FET-GC, Architectures for Mobility), Through the Fog (PRA 2016 64 UNIPI, Deploying, programming and supporting Fog computing applications), TOCAI.IT (FIRB, Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in Internet), RUPOS (Regione Toscana, Ricerca sull'Usabilita' delle Piattaforme Orientate ai Servizi), Progettazione e Verifica di Sistemi Eterogenei Connessi mediante Reti (CNR), Tecniche Formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software (MURST), Coordina (ESPRIT working group), CONFER2 (ESPRIT working group), GETGRATS (EC Research TMR Network, General Theory of Graph Transformation Systems), NAPI (Microsoft Research Europe, Network-Aware Programming and Interoperability), Architetture Software ad Alta Qualita' di Servizio per Global Computing su Cooperative Wide-Area Network (MIUR), CoMeta (MIUR, Computational Metamodels) and ISMANET (MIUR, Infrastrutture Software per Reti Ad-Hoc Orientate ad Ambienti Difficili).

EVENTS:
He has been member of the Steering Committees of FMOODS/FORTE and ICE, has co-chaired GT-VMT'06, WS-FM'08, ICE'10, FMOODS/FORTE'10, TGC'11 and has been member of the Organization Committees of WRLA'02, COORDINATION'04, TGC'06, WADT'08, FLACOS'10.

He has served as PC member of many conferences and workshops, including CONCUR, ICALP (track B), COORDINATION, FoSSaCS, , FMOODS/FORTE, FSTTCS, AMAST, PN, ICTCS, TGC, IFIP-TCS (track B), WS-FM, WRLA, GT-VMT, SAC-SOAP, ICE, FACS, PNGT.

He has been Invited speaker at WRLA'98, WS-FM'06, GT-VMT'09, SFM-WS'09, WADT'12.