Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Mario Bravetti
[go: Go Back, main page]

Mario Bravetti

Where to find me

Universita` di Bologna
Corso di Laurea in Scienze dell'Informazione sede di Cesena
Via Sacchi 3
47023 Cesena (FC), Italy
Phone: +39-0547-338849
Fax: +39-0547-338990
E-mail: bravetti"at"cs.unibo.it (replace "at" with @)

Research affiliation:
Dipartimento di Scienze dell'Informazione
Mura Anteo Zamboni 7
40127 Bologna, Italy

Home address:
Via Rotta 122
48100 Ravenna, Italy

Position: Researcher (Ricercatore) in Computer Science

Curriculum vitae in Italian (PDF file)

Teaching activity

(Undergraduate) courses at Corso di Laurea in "Scienze dell'Informazione" sede di Cesena (computer science):

  • Tecnologie Web/Internet (web technologies/internet)
  • Informatica Teorica (theoretical computer science): part on "automata and formal languages"

    • (Graduate) courses at Master in "Tecnologie e Applicazioni Multimediali" (multimedia technologies and applications):

  • Ipermedia in Rete (hypermedia in the web)

    • Research activity

    Main topics:

  • Formal description techniques and analysis tools for concurrent systems
  • Concurrency theory
  • Web services and business processes
  • Coordination models and languages
  • Security and e-commerce
  • ST semantics and action refinement in process algebras
  • Real-time and preemption mechanisms in process algebras
  • Stochastic processes, performance evaluation and simulation

    • List of publications (all available as postscript files for downloading):

  • Book chapters
  • Journal papers
  • Conference and Workshop papers
  • Technical Reports
  • PhD Thesis (preliminary version - updated: 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 .

    • Conferences and Workshops

    In the year 2004 I will be involved in the organization of the following conferences/workshops:

  • WS-FM 2004: 1st International Workshop on Web Services and Formal Methods (co-chair)
        Participate in WS-FM 2004! Registration, traveling and accomodation information at the COORDINATION 2004 website.
  • SAC 2004: 19th Annual ACM Symposium on Applied Computing, Special Track on E-Commerce Technologies (PC member)
  • IADIS International Conference on Applied Computing 2004 (PC member)
  • ATPN 2004: 25th International Conference on Application and Theory of Petri Nets (satellite workshop and tutorial organizer)
  • PASM 2004:1st International Workshop on Practical Applications of Stochastic Modelling (PC member)
  • FORTE 2004: 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (PC member)
  • TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce (PC member)
  • EPEW2004:1st European Performance Engineering Workshop (PC member)

    • Hobbies

  • Theatre (mainly with LadyGodivaTeatro)
  • 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)