After obtaining a high school degree from Liceo Classico (Classical Humanities, July 1985), a Laurea in Scienze dell’Informazione (Master degree in Computer Science) magna cum laude from the University of Pisa (February 1991) and a PhD in Ingengneria Informatica (Computer Engineering) from Rome University “La Sapienza” (graduation date: October 1995; supervisor Prof. Rocco De Nicola), Boreale applied for and obtained from CNR two grants, spent in Italy (IEI-CNR, Pisa, March-December 1995) and in France (INRIA - Sophia Antipolis, January-February and October-November 1996), respectively.

In October 1995 he obtained a position of Ricercatore (Assistant professor) in Computer Science (SSD K05B, subsequently renamed INF/01) at the Dipartimento di Scienze dell’Informazione, Facolt`a di SMFN, Università “La Sapienza”, Rome, which he actually joined in February 1996.
In July 1999, he moved to the Universit`a di Firenze, Facolt`a di SMFN, where he joined the Dipartimento di Sistemi e Informatica. In April 2001, he applied for and obtained the idoneità a professore associato per il settore INF/01 (habilitation as an associate professor in Computer Science) from the Università di Torino. In December 2003 he was appointed associate professor of SSD INF/01 (Informatics) by the Facoltà di SMFN of Universit`a di Firenze. He actually took office as an associate professor in December 2004.

1. General information

•Italian citizenship. Married, one daughter and one son. Living in Pisa.

• Associate professor in Computer Science (“Informatica”, SSD INF/01) at the Dipartimento di Statistica, Informatica, Applicazioni (Department of Statistics, Informatics, Applications, DiSIA).

• Contacts:
– Office: Dipartimento di Sistemi e Informatica Università di Firenze, Viale Morgagni 65 - I-50134, Firenze. Phone: +39 055 4237453.
– E-mail: michele.boreale@unifi.it.
– Web: www.dsi.unifi.it/~boreale/.

2. Scientific activity

2.1 Research interests
The research activity of Michele Boreale is centered around formal methods for the verification and specification of concurrent systems, in a broad sense including distributed systems, communication and security protocols. An important tool in this area is represented by process calculi, languages equipped with a rigorous semantics, which allow for compositional system descriptions, possibly at different levels of abstractions. As an example, process calculi can be employed to prove an implementation correct
with respect to a given specification. This can be done by relating system descriptions at different levels, via so-called behavioural relation, such as bisimulation, and the related proof and (automatic) verification techniques.
In the problems considered by Boreale, the stress is on dynamicity, asynchrony and security of communications. The most significant results obtained by Boreale can be grouped in three broad topics, as follows.
• Semantics of process calculi, with an emphasis on the description of systems featuring dynamic generation and passing of references (channels), such as Milner’s pi-calculus.
• Languages and methods for analysing distributed and service-oriented applications. Process calculi scc and Caspis, and the related behavioural type systems, developed within the EU Sensoria project1, are outcomes of this research.
• Models and (quantitative) methods for the analysis of security protocols and systems, such as symbolic protocol analysis and quantitative information flow.

2.2 Program committees and editorial boards
• Boreale is PC co-chair of the IFIP International Conference on Formal Techniques for Distributed Systems 2013 - joint international conferences 15th Formal Methods for Open Object-Based Distributed Systems and 33rd Formal Techniques for Networked and Distributed Systems2. Proceedings
to be published by Springer in the LNCS series.
• Boreale has been a PC member of several international workshops and conferences: CONCUR 2000, EXPRESS 2003, ICALP 2007 (track C), FCS-ARSPA 20073, PLID 20074, ICE 20085, PLID 20096, CONCUR 20097, SecCo 20098(PC co-chair), YR-Concur’09, YR-Concur’09.
• In May 2012, Boreale joined the Editorial Board of The Scientific World Journal, a multidisciplinary, ISI-indexed journal published by Hindawi.

2.3 Research projects
In the last few years, Boreale has been involved, both scientifically and with organizational responsibilities, in several national and european research projects, as detailed below.
• National MIUR co-funded PRIN 2010 CINA: Composizionalit`a, Interazione, Negoziazione, Autonomicità per la società ICT futura (coord. nazionale Prof. Rocco De Nicola). Duration 36 months. Role: leader of the Firenze unit.
• ICT COST Action IC1201 BETTY: Behavioural Types for Reliable Large-Scale Software Systems. (coord. dr. Simon Gay). Duration 48 months. Role: substitute member in the Management
Committee.
• EU projects FET - Global Computing MIKADO (“Migrational Calculi based on Domains”, coord. Dr. Jean-Bernard Stefani; FP5, start 2002, duration 40 months), PROFUNDIS (“Proofs of Functionality for Distributed Systems”, coord. Prof. Joachim Parrow; FP5, start 2002, duration 40 months), SENSORIA (“Software Engineering for Service-Oriented Overlay Computers”, coord.
Prof. Martin Wirsing; FP6, start 2005, duration 52 months) and ASCENS (“Autonomic Service-Component Ensambles”, coord. Prof. Martin Wirsing; FP7, start 2010, duration 48 months).
• National MURST co-funded projects TOSCA (“Tipi, Ordine Superiore e ConcorrenzA”, coord. Prof. Ugo Montanari, 1999) and NAPOLI (“Models, Calculi and Languages for Network Aware Programming”, coord. Prof. Rocco De Nicola, 2001).
• NAPI project (“Network Aware programming and Interoperability”, coord. Prof. Rocco De Nicola, 2001), funded by Microsoft Research.
• Several small projects funded by the “fondi di Ateneo ex 60%” of the Università di Firenze, years between 2001 and 2012; unit leader.

2.4 External funding
Boreale has been the key person and coordinator of a contract (convenzione) between the OTE-Selex (Gruppo Finmenccanica) company and the Dipartimento di Sistemi e Informatica of Università di Firenze, concerning Realizzazione di un ambiente di test per trasmissione dati IPSec su VDL2 (Design and deployment of a testing environment for IPSec-over-VDL data transmission). Gross amount E. 15.000, year 2006.

2.5 Post-graduate and PhD students
• Boreale has been one of the two de facto - not formally appointed - PhD supervisors of Dr. Maria Grazia Buscemi. Graduation year: 2002.
• He has been the PhD supervisor at the Universit`a di Firenze of Dr. Lucia Acciai. PhD programme in "cotutelle" with University of Provence at Marseille (the other supervisor was Dr. Silvano Dal-Zilio). Graduation date: July 2007.
• He is the PhD supervisor at the IMT - Lucca of Dr. Francesca Pampaloni. Start date: March 2011.
• He is the PhD supervisor at the IMT - Lucca of Dr. Michela Paolini. Start date: March 2011.
• He has been the Internship tutor at the Universit`a di Firenze of Dr. Guillaume Scerri, coming from Ecole Normale Superieure, Paris. Internship year 2010, duration 6 months.

2.6 Awards
The paper Behavioural contracts with request-response operations, by L. Acciai, M. Boreale, G. Zavattaro, presented at the conference Coordination 2010, was assigned the IFIP Best Paper Award at DisCoTec 2010 (CWI, Amsterdam, June 2010).

2.7 Bibliometric data
On November 16th, 2012, some of the most popular bibliographic databases provided the following bibliometric data about Boreale.

• SCOPUS. From Document Search, a query with “Boreale” in the Authors field correctly identified 47 documents as Boreale’s publications, and produced the following citation overview:
– h-index: 13
– h-index excluding self-citations: 12
– total citations: 434
– total excluding self-citations: 360.

• ISI Web of Knowledge. From Web of Science, a query with “Boreale” in the Author field correctly identified 51 documents as Boreale’s publications, and produced the following citation report:
– h-index: 11
– total citations: 448
– total excluding self-citations: 399.

• Math.Sci.Net reported Erdos number 3 for Boreale.

2.8 Other facts on scientific activity
Visits. He has visited the group of R. Milner at LFCS, University of Edimburgh (May 1993), the group of G. Boudol at INRIA, Sophia-Antipolis (January-February 1996 and October-November 1996), the Laboratoire d’Informatique Fondamentale of University of Provence at Marseille (January 2000,
upon invitation of Prof. R. Amadio; several periods in 2005 2006, upon invitation of Dr. Silvano Dal Zilio), the Universidade Nova de Lisboa (February 2010, upon invitation of Prof. Luis Caires) and Trinity College, Dublino (July-August 2011, upon invitation of Prof. Matthew Hennessy).

Seminars. He has given invited talks at several national and international research institutions, including: INRIA at Sophia-Antipolis, Ecole Normale Superiore de Cachan, University of Provence at Marseille, Imperial College London, Ecole Polytechnique Paris, Trinity College Dublino. He as been a speaker at several international conferences, including several editions of LICS, ICALP and CONCUR.

After obtaining a high school degree from Liceo Classico (Classical Humanities, July 1985), a Laurea in Scienze dell’Informazione (Master degree in Computer Science) magna cum laude from the University of Pisa (February 1991) and a PhD in Ingengneria Informatica (Computer Engineering) from Rome University “La Sapienza” (graduation date: October 1995; supervisor Prof. Rocco De Nicola), Boreale applied for and obtained from CNR two grants, spent in Italy (IEI-CNR, Pisa, March-December 1995) and in France (INRIA - Sophia Antipolis, January-February and October-November 1996), respectively.

In October 1995 he obtained a position of Ricercatore (Assistant professor) in Computer Science (SSD K05B, subsequently renamed INF/01) at the Dipartimento di Scienze dell’Informazione, Facolt`a di SMFN, Università “La Sapienza”, Rome, which he actually joined in February 1996.
In July 1999, he moved to the Universit`a di Firenze, Facolt`a di SMFN, where he joined the Dipartimento di Sistemi e Informatica. In April 2001, he applied for and obtained the idoneità a professore associato per il settore INF/01 (habilitation as an associate professor in Computer Science) from the Università di Torino. In December 2003 he was appointed associate professor of SSD INF/01 (Informatics) by the Facoltà di SMFN of Universit`a di Firenze. He actually took office as an associate professor in December 2004.

1. General information

•Italian citizenship. Married, one daughter and one son. Living in Pisa.

• Associate professor in Computer Science (“Informatica”, SSD INF/01) at the Dipartimento di Statistica, Informatica, Applicazioni (Department of Statistics, Informatics, Applications, DiSIA).

• Contacts:
– Office: Dipartimento di Sistemi e Informatica Università di Firenze, Viale Morgagni 65 - I-50134, Firenze. Phone: +39 055 4237453.
– E-mail: michele.boreale@unifi.it.
– Web: www.dsi.unifi.it/~boreale/.

2. Scientific activity

2.1 Research interests
The research activity of Michele Boreale is centered around formal methods for the verification and specification of concurrent systems, in a broad sense including distributed systems, communication and security protocols. An important tool in this area is represented by process calculi, languages equipped with a rigorous semantics, which allow for compositional system descriptions, possibly at different levels of abstractions. As an example, process calculi can be employed to prove an implementation correct
with respect to a given specification. This can be done by relating system descriptions at different levels, via so-called behavioural relation, such as bisimulation, and the related proof and (automatic) verification techniques.
In the problems considered by Boreale, the stress is on dynamicity, asynchrony and security of communications. The most significant results obtained by Boreale can be grouped in three broad topics, as follows.
• Semantics of process calculi, with an emphasis on the description of systems featuring dynamic generation and passing of references (channels), such as Milner’s pi-calculus.
• Languages and methods for analysing distributed and service-oriented applications. Process calculi scc and Caspis, and the related behavioural type systems, developed within the EU Sensoria project1, are outcomes of this research.
• Models and (quantitative) methods for the analysis of security protocols and systems, such as symbolic protocol analysis and quantitative information flow.

2.2 Program committees and editorial boards
• Boreale is PC co-chair of the IFIP International Conference on Formal Techniques for Distributed Systems 2013 - joint international conferences 15th Formal Methods for Open Object-Based Distributed Systems and 33rd Formal Techniques for Networked and Distributed Systems2. Proceedings
to be published by Springer in the LNCS series.
• Boreale has been a PC member of several international workshops and conferences: CONCUR 2000, EXPRESS 2003, ICALP 2007 (track C), FCS-ARSPA 20073, PLID 20074, ICE 20085, PLID 20096, CONCUR 20097, SecCo 20098(PC co-chair), YR-Concur’09, YR-Concur’09.
• In May 2012, Boreale joined the Editorial Board of The Scientific World Journal, a multidisciplinary, ISI-indexed journal published by Hindawi.

2.3 Research projects
In the last few years, Boreale has been involved, both scientifically and with organizational responsibilities, in several national and european research projects, as detailed below.
• National MIUR co-funded PRIN 2010 CINA: Composizionalit`a, Interazione, Negoziazione, Autonomicità per la società ICT futura (coord. nazionale Prof. Rocco De Nicola). Duration 36 months. Role: leader of the Firenze unit.
• ICT COST Action IC1201 BETTY: Behavioural Types for Reliable Large-Scale Software Systems. (coord. dr. Simon Gay). Duration 48 months. Role: substitute member in the Management
Committee.
• EU projects FET - Global Computing MIKADO (“Migrational Calculi based on Domains”, coord. Dr. Jean-Bernard Stefani; FP5, start 2002, duration 40 months), PROFUNDIS (“Proofs of Functionality for Distributed Systems”, coord. Prof. Joachim Parrow; FP5, start 2002, duration 40 months), SENSORIA (“Software Engineering for Service-Oriented Overlay Computers”, coord.
Prof. Martin Wirsing; FP6, start 2005, duration 52 months) and ASCENS (“Autonomic Service-Component Ensambles”, coord. Prof. Martin Wirsing; FP7, start 2010, duration 48 months).
• National MURST co-funded projects TOSCA (“Tipi, Ordine Superiore e ConcorrenzA”, coord. Prof. Ugo Montanari, 1999) and NAPOLI (“Models, Calculi and Languages for Network Aware Programming”, coord. Prof. Rocco De Nicola, 2001).
• NAPI project (“Network Aware programming and Interoperability”, coord. Prof. Rocco De Nicola, 2001), funded by Microsoft Research.
• Several small projects funded by the “fondi di Ateneo ex 60%” of the Università di Firenze, years between 2001 and 2012; unit leader.

2.4 External funding
Boreale has been the key person and coordinator of a contract (convenzione) between the OTE-Selex (Gruppo Finmenccanica) company and the Dipartimento di Sistemi e Informatica of Università di Firenze, concerning Realizzazione di un ambiente di test per trasmissione dati IPSec su VDL2 (Design and deployment of a testing environment for IPSec-over-VDL data transmission). Gross amount E. 15.000, year 2006.

2.5 Post-graduate and PhD students
• Boreale has been one of the two de facto - not formally appointed - PhD supervisors of Dr. Maria Grazia Buscemi. Graduation year: 2002.
• He has been the PhD supervisor at the Universit`a di Firenze of Dr. Lucia Acciai. PhD programme in "cotutelle" with University of Provence at Marseille (the other supervisor was Dr. Silvano Dal-Zilio). Graduation date: July 2007.
• He is the PhD supervisor at the IMT - Lucca of Dr. Francesca Pampaloni. Start date: March 2011.
• He is the PhD supervisor at the IMT - Lucca of Dr. Michela Paolini. Start date: March 2011.
• He has been the Internship tutor at the Universit`a di Firenze of Dr. Guillaume Scerri, coming from Ecole Normale Superieure, Paris. Internship year 2010, duration 6 months.

2.6 Awards
The paper Behavioural contracts with request-response operations, by L. Acciai, M. Boreale, G. Zavattaro, presented at the conference Coordination 2010, was assigned the IFIP Best Paper Award at DisCoTec 2010 (CWI, Amsterdam, June 2010).

2.7 Bibliometric data
On November 16th, 2012, some of the most popular bibliographic databases provided the following bibliometric data about Boreale.

• SCOPUS. From Document Search, a query with “Boreale” in the Authors field correctly identified 47 documents as Boreale’s publications, and produced the following citation overview:
– h-index: 13
– h-index excluding self-citations: 12
– total citations: 434
– total excluding self-citations: 360.

• ISI Web of Knowledge. From Web of Science, a query with “Boreale” in the Author field correctly identified 51 documents as Boreale’s publications, and produced the following citation report:
– h-index: 11
– total citations: 448
– total excluding self-citations: 399.

• Math.Sci.Net reported Erdos number 3 for Boreale.

2.8 Other facts on scientific activity
Visits. He has visited the group of R. Milner at LFCS, University of Edimburgh (May 1993), the group of G. Boudol at INRIA, Sophia-Antipolis (January-February 1996 and October-November 1996), the Laboratoire d’Informatique Fondamentale of University of Provence at Marseille (January 2000,
upon invitation of Prof. R. Amadio; several periods in 2005 2006, upon invitation of Dr. Silvano Dal Zilio), the Universidade Nova de Lisboa (February 2010, upon invitation of Prof. Luis Caires) and Trinity College, Dublino (July-August 2011, upon invitation of Prof. Matthew Hennessy).

Seminars. He has given invited talks at several national and international research institutions, including: INRIA at Sophia-Antipolis, Ecole Normale Superiore de Cachan, University of Provence at Marseille, Imperial College London, Ecole Polytechnique Paris, Trinity College Dublino. He as been a speaker at several international conferences, including several editions of LICS, ICALP and CONCUR.