Scholar
Mario Bravetti
Google Scholar ID: yDcB0LwAAAAJ
University of Bologna
Citations & Impact
Citations
795
H-index
13
i10-index
18
Publications
20
Co-authors
0
Contact
No contact links provided.
Resume (English only)
Academic Achievements
- Published a paper on the undecidability of asynchronous session subtyping in the Information and Computation journal (electronically published on July 20th, 2017).
Research Experience
- Currently an Associate Professor in Computer Science (with Full Professor habilitation) at the University of Bologna, member of the FOCUS research team (Inria/University of Bologna). Main research areas include formal description techniques, modeling and analysis of distributed systems and protocols, concurrency theory, etc.
Education
- PhD Thesis: 'Specification and Analysis of Stochastic Real-Time Systems' (Final version: April 29th, 2002). The thesis won 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.
Background
- Research interests include formal description techniques, modeling and analyzing distributed systems and protocols, concurrency theory, process algebras and their axiomatizations and extensions, stochastic processes with or without Markovian property, performance modeling and evaluation, service-oriented computing, web services, orchestration and choreography languages and related conformance issues, architectural design and implementation of SOAP/RESTful Web Service based systems and Comet-based rich internet applications.
Miscellany
- Hobbies include theatre (mainly with LadyGodivaTeatro and Fuori Scena), Latin dance (cuban salsa), modern dance, and tennis.
Co-authors