Bravetti Mario

Referee for:	D.2.1, D.2.2, D.3.1, F.3.1, F.3.2
Institution:	Universita di Bologna
Address:	Corso di Laurea in Scienze e Tecnologie Informatiche sede di Cesena Universita di Bologna Via Sacchi 3 47521 Bologna Italy
Home Page:	http://www.cs.unibo.it/~bravetti/

Curriculum Vitae:

Mario Bravetti is an Associate Professor at the Computer Science and Engineering Department of University of Bologna. He is also member of the FOCUS (FOundations of Component-based Ubiquitous Systems) team which is part of the INRIA Sophia Antipolis - Méditerranée research center. He is PhD in Computer Science and winner of the award for the two best italian PhD theses in theoretical computer science in the year 2002, assigned by the Italian Chapter of the European Association for Theoretical Computer Science.

His research activity spans from formal description and analysis of concurrent/distributed systems based on mathematical and probabilistic methodos to more applicative topics such as service oriented and cloud computing. He he is co-founder and member of the steering committee of the international workshop on Web Services and Formal Methods (WS-FM).

Main Research Interests:

Formal techniques for modeling and analyzing distributed systems and protocols
Concurrency theory, Process Algebras, their axiomatizations and extensions
Stochastic processes, performance modeling and evaluation
Service Oriented and Cloud Computing, Orchestration and Choreography