Foto del docente

Mario Bravetti

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Curriculum vitae

Mario Bravetti is an Associate Professor at the Computer Science and Engineering Department of University of Bologna. He got Italian national computer science Full Professor habilitation in 29/01/2014 (in 26/07/2018 also for computer science engineering). He is also permanent member of the FOCUS (FOundations of Component-based Ubiquitous Systems) team which is part of the INRIA Sophia Antipolis - Méditerranée French 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 verification of distributed systems based on concurrency and probability theory to more applicative topics such as service oriented and cloud computing.

He is member of the editorial board of the Journal of Universal Computer Science (2020 Scopus CiteScore 2.00) and of the Electronics Journal (2020 Scopus CiteScore 2.70, 2020 JCR Impact Factor 2.397), section Computer Science & Engineering (both journals are classified in 2nd Quartile according to CiteScore/Scimago Journal Rank (SJR) 2020 in the Computer Science area). He is leader for University of Bologna in the European H2020 MSCA-RISE Project BEHAPI (Behavioural Application Program Interfaces). Moreover, he has been one of the two leaders for Italy in the European ICT COST Action BETTY (Behavioural Types for Reliable Large-Scale Software Systems) and one of the two deputy leaders for Italy in the European ICT COST Action ARVI (Runtime Verification beyond Monitoring). In all he participated in 19 Italian, Spanish, French and European research projects. He was co-founder and member of the steering committee of the international workshop on Web Services and Formal Methods (WS-FM), which reached the 12th edition and has been co-located with prestigious conferences all over the world. He is co-author of more than 90 scientific publications in fully refereed international conferences, journals and books. His publications have 1239 citations in Scopus (979 without self-citations) and his Scopus H-index is 22 (20 without self-citations).


He has been: scientific organizer/program committee chair of several international conferences, PhD schools and events, such as the 29th Annual ACM Symposium on Applied Computing, track on Service-Oriented Architectures and Programming (SAC-SOAP 2014), the 11th Int. Conference on Software Engineering and Formal Methods (SEFM 2013), the 20th Int. conference on Concurrency Theory (CONCUR 2009), co-chairing CONCUR and co-organizing the whole event in Bologna which included 10 satellite and co-located conferences/workshops, the Int. PhD School and Bootcamp on Behavioural Application Program Interfaces, and the meeting on the 25th anniversary of Process Algebra; guest editor for numerous proceeding volumes and special issues of international journals such as the Information and Computation journal, the Journal of Software and Systems Modeling and the Journal of Logic and Algebraic Programming; invited speaker/tutorialist at several conferences such as Int. Conference on the Quantitative Evaluation of Systems (QEST) and Int. Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA); lecturer at numerous international PhD schools such as Int. PhD School in Theory and Practice of Business Process Execution and Service Orientation (BPESO), Int. Summer School on Software Testing, Verification and Validation and Int. School on Formal Methods for the Design of Computer, Communication and Software Systems; member of the programme committee of over 70 international conferences such as: Int. Conference on Fundamental Approaches to Software Engineering (FASE, one of the five ETAPS confederated conferences), IFIP WG 6.1 Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Int. Conference on Service Oriented Computing (ICSOC), Int. Conference on the Quantitative Evaluation of Systems (QEST), IEEE Int. Conference on Cloud Computing (CLOUD), IEEE Int. Conference on Big Data (BigData), IEEE Int. Conference on Software Quality, Reliability, and Security (QRS), IFIP Int. Conference on Testing Software and Systems (ICTSS, formerly TESTCOM and FATES), European Conference on Service-Oriented and Cloud Computing (ESOCC, formerly ECOWS).

Concerning teaching activity, he is currently holding: since September 2015, a mandatory master level course on Languages, Compilers and Computational Models (12 credits) and, since September 2021, a module in a mandatory international master level course on Programming and Computer Architectures (12 credits). Previously, since October 2002, he has been teaching web technologies: from 2008 as two separate courses (6 credits each), a mandatory one at bachelor level and one at master level (which became mandatory in 2013); from 2002 to 2007, before the differentiation between bachelor and master, as a single mandatory 12 credit course. At the beginning of his career, from March 1998 to December 2003 he has been teaching formal languages and automata theory as a tutor of the mandatory course on theoretical computer science held by Roberto Gorrieri. He also has been teaching in (first level) industrial master courses and has been scientific coordinator of several educational programs funded by the EU related to web and internet technologies. Moreover, he has been co-supervisor of 4 PhD students and supervisor of postdocs and master/bachelor theses on topics mainly concerning Web Services and front-ends based on Java/Javascript technologies for desktop and mobile devices, e.g. Android.


Latest news

At the moment no news are available.