Professore Ordinario – Dipartimento di Informatica | Tel.: 050 221 2785 – Email: roberto.bruni@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"4248","unipi-persone-nome":"Roberto","unipi-persone-cognome":"Bruni","unipi-persone-email":"roberto.bruni@unipi.it","unipi-persone-cv":"PERSONAL DATA:
\r\nBorn November 24th, 1967 in Livorno.
\r\n
\r\nEDUCATION:
\r\nMSc cum laude in Computer Science at the University of Pisa in 1993.
\r\n
\r\nPhD in Computer Science at the University of Pisa in 1999.
\r\n
\r\nPOSITIONS:
\r\nInternational Fellow at the SRI International in Menlo Park (CA, USA) in 1997 and 1998.
\r\n
\r\nPost-Doc position at the University of Pisa during 1999-2001.
\r\n
\r\nVisiting Scholar at the University of Illinois at Urbana-Champaign (USA) with an Italian CNR fellowship in 2002.
\r\n
\r\nAssistant Professor at the Computer Science Department (UNIPI) since October 2002.
\r\n
\r\nExchange Visitor at the University of Illinois at Urbana-Champaign (USA) during 2004.
\r\n
\r\nAssociate Professor at the Computer Science Department (UNIPI) since December 2011.
\r\n
\r\nROLES:
\r\nAs 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).
\r\n
\r\nHe has been director of the Pisa research unit (CINI).
\r\n
\r\nRESEARCH INTERESTS:
\r\nConcurrency, semantics, category theory, term and graph rewriting systems, Petri nets, process calculi, behavioural types,
\r\nreaction systems, business process models, transactions, multiparty interactions, static analysis, code obfuscation.
\r\n
\r\nHe has supervised 4 PhD thesis and published 130 refereed papers in conferences and journals. His h-index is 31 (google scholar).
\r\n
\r\nRESEARCH PROJECTS:
\r\nAs 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).
\r\n
\r\nHe 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).
\r\n
\r\nHe 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).
\r\n
\r\nEVENTS:
\r\nHe 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.
\r\n
\r\nHe 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.
\r\n
\r\nHe has been Invited speaker at WRLA'98, WS-FM'06, GT-VMT'09, SFM-WS'09, WADT'12.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"You can reach me in person or via Microsoft Teams. In the second case, please contact me in advance to schedule an appointment.","unipi-persone-luogo-ricevimento":"Office (room 319)","unipi-persone-ore-ricevimento":"Thursday 15:00-18:00","unipi-persone-telefono":"050 221 2785","unipi-persone-sitoweb":"www.di.unipi.it\/~bruni","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=009772","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=009772&tmplt=principale.tpl","unipi-persone-settore-scientifico":"Informatica INFO-01\/A","unipi-persone-ruolo":"Professore Ordinario","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp12957","unipi-persone-pubblicazioni":"