Mario Bravetti

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: mario.bravetti"at"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)"

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

Theatre (mainly with LadyGodivaTeatro and Fuori Scena )

Latin dance (cuban salsa)

Modern dance

Tennis