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