Mario Bravetti è Professore Ordinario per il settore INF/01 Informatica, presso il Dipartimento di Informatica: Scienza ed Ingegneria dell'Università degli Studi di Bologna. Egli è inoltre membro permanente del FOCUS (FOundations of Component-based Ubiquitous Systems) team, facente parte del centro di ricerca Francese INRIA Sophia Antipolis - Méditerranée. E' dottore di ricerca (PhD) in Informatica e la sua tesi è risultata vincitrice del premio per le due migliori tesi di dottorato in informatica teorica nell'anno 2002 conferito dal capitolo italiano dell'European Association for Theoretical Computer Science. La sua attività di ricerca riguarda svariate aree dell'informatica che vanno dalla descrizione formale e verifica di sistemi distribuiti tramite strumenti di teoria della concorrenza e della probabilità a tematiche più applicative riguardanti il Service Oriented e il Cloud Computing.
E' membro dell'editorial board della rivista Journal of Universal Computer Science (2021 Scopus CiteScore 2.70) e della rivista Electronics Journal (2021 Scopus CiteScore 3.70, 2020 JCR Impact Factor 2.397), sezione Computer Science & Engineering (entrambe le riviste sono classificate nel secondo Quartile di CiteScore/Scimago Journal Rank (SJR) 2021 nell'area Computer Science). E' leader per l'Università di Bologna nel progetto europeo H2020 MSCA-RISE BEHAPI (Behavioural Application Program Interfaces). Inoltre, è stato uno dei due leader per l'Italia nella ICT COST Action europea BETTY (Behavioural Types for Reliable Large-Scale Software Systems) e uno dei due deputy leader per l'Italia nella ICT COST Action europea ARVI (Runtime Verification beyond Monitoring). In totale ha partecipato a 19 progetti di ricerca italiani, spagnoli, francesi ed europei. E' stato co-fondatore e membro dello steering committee del convegno International Workshop on Web Services and Formal Methods (WS-FM), che ha raggiunto la dodicesima edizione ed è stato co-locato con conferenze prestigiose in tutto il mondo. E' co-autore di circa 100 pubblicazioni scientifiche apparse su atti di convegni internazionali, riviste, e raccolte di articoli scientifici. Le sue pubblicazioni hanno 1282 citazioni in Scopus (1011 senza auto-citazioni) e il suo H-index Scopus è 23 (20 senza auto-citazioni).
E' stato: organizzatore scientifico/chair del comitato di programma di numerose conferenze, scuole di PhD ed eventi internazionali, quali 29th Annual ACM Symposium on Applied Computing, track on Service-Oriented Architectures and Programming (SAC-SOAP 2014), 11th Int. Conference on Software Engineering and Formal Methods (SEFM 2013), 20th Int. conference on Concurrency Theory (CONCUR 2009), svolgendo il ruolo di co-chair di CONCUR e co-organizzando l'intero evento a Bologna che ha incluso 10 conferenze/workshop tra eventi satelliti e co-locati, l'Int. PhD School and Bootcamp on Behavioural Application Program Interfaces, e il meeting sul venticinquesimo anniversario delle Algebre di Processi; guest editor per numerosi volumi di proceedings e special issue di riviste internazionali come la rivista Information and Computation, il Journal of Software and Systems Modeling e il Journal of Logic and Algebraic Programming; oratore invitato/presentatore di tutorial a svariati convegni quali Int. Conference on the Quantitative Evaluation of Systems (QEST) e Int. Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA); docente a numerose scuole di dottorato quali Int. PhD School in Theory and Practice of Business Process Execution and Service Orientation (BPESO), Int. Summer School on Software Testing, Verification and Validation e Int. School on Formal Methods for the Design of Computer, Communication and Software Systems; membro del comitato di programma di oltre 70 convegni internazionali quali: Int. Conference on Fundamental Approaches to Software Engineering (FASE, una delle 5 conferenze che compongono ETAPS), IFIP WG 6.1 Int. Conference on Formal Techniques for 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, in passato TESTCOM e FATES), European Conference on Service-Oriented and Cloud Computing (ESOCC, in passato ECOWS).
Per quanto riguarda l'attività didattica, è attualmente titolare: da settembre 2015, di un corso fondamentale di laurea magistrale su Linguaggi, Compilatori e Modelli Computazionali (12 crediti) e, da settembre 2021, di un modulo in un corso fondamentale di laurea magistrale internazionale su Programming and Computer Architectures (12 crediti). In precedenza, da ottobre 2002, ha insegnato tecnologie web: dal 2008 come due corsi separati (ciascuno da 6 crediti), uno fondamentale di laurea triennale e uno di laurea magistrale (che è diventato fondamentale nel 2013); dal 2002 al 2007 come singolo corso fondamentale da 12 crediti di laurea a ciclo unico. All'inizio della sua carriera, da marzo 1998 a dicembre 2003 ha insegnato linguaggi formali e teoria degli automi come tutor del corso fondamentale di informatica teorica tenuto da Roberto Gorrieri. Ha inoltre insegnato presso master di primo livello ed è stato coordinatore scientifico e organizzatore di diversi corsi post-diploma finanziati dalla comunità europea legati al web e alle tecnologie di internet. E' stato, inoltre, co-supervisore di 4 studenti di dottorato e supervisore di assegnisti e tesisti magistrali/triennali su tematiche principalmente inerenti i servizi Web e front-end basati su tecnologie Java/Javascript per dispositivi desktop e mobili, es. Android.
