Prof. Dr. Mario Bravetti

Università di Bologna
Dipartimento di Informatica - Scienza e Ingegneria
Mura Anteo Zamboni 7
40126 Bologna,Italy
Phone: +39-051-2094513
Fax: +39-051-2094510
E-mail: bravetti"at"cs.unibo.it (replace "at" with @)

Didactics:
Corso di Laurea Triennale in Ingegneria e Scienze Informatiche
Corso di Laurea Magistrale in Ingegneria e Scienze Informatiche
Via Sacchi 3
47521 Cesena (FC), Italy
Phone: +39-0547-338849
Fax: +39-0547-338890

Position: Associate Professor in Computer Science (with Full Professor habilitation)

Member of the: Research Team FOCUS (Inria/University Bologna)"


Research activity

Main topics:

  • Formal description techniques and software tools for modeling and analyzing distributed systems and protocols.
  • Concurrency theory, Process Algebras, 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 ad implementation of SOAP/RESTful Web Service based systems and Comet based rich internet applications.
  • PhD Thesis: (Final version: April, 29th 2002)
              ``Specification and Analysis of Stochastic Real-Time Systems'' (gzipped postscript file)
        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 .

    Hot Topics:

  • Undecidability of asynchronous session subtyping, Information and Computation journal, electronically published on 20 July 2017

  • Hobbies

  • Theatre (mainly with LadyGodivaTeatro and Fuori Scena )
  • Latin dance (cuban salsa)
  • Modern dance
  • Tennis

  • Useful sites

    Italian Ministry of University and Scientific and Technological Research (MURST)
    Italian National Research Council (CNR)
    Coordinamento Nazionale dei Dottorati in Informatica
    Italian PhD Association (ADI)
    Italian PhD Association - Bologna (ADI-BO)
    Polo Scientifico-Didattico di Cesena
    Centro di Ricerche e Studi per l'Informatica Applicata alla Didattica (CRIAD)
    L'Isola del Benessere