Marco Bernardo / Professore Ordinario

Marco Bernardo è nato a Bologna nel 1970. Ha conseguito una Laurea in Scienze dell'Informazione nel 1994 e un Dottorato di Ricerca in Informatica nel 1999, presso l'Università di Bologna. Nel 1997 è stato visiting PhD student presso la North Carolina State University. Dopo un breve periodo come assegnista di ricerca in informatica presso l'Università di Bologna, dal 1999 al 2001 è stato ricercatore in informatica presso l'Università di Torino e dal 2001 al 2018 professore associato di informatica presso l'Università di Urbino. Dal 2018 è professore ordinario di informatica presso l'Università di Urbino.

È autore di più di 130 pubblicazioni scientifiche nel campo dell'informatica teorica, in particolare semantica dei linguaggi di programmazione e verifica di correttezza del software, tra cui il libro "A Process Algebraic Approach to Software Architecture Design" edito da Springer nel 2010. La sua tesi di dottorato "Theory and Application of Extended Markovian Process Algebra" è stata premiata nel 1999 dal Capitolo Italiano della European Association for Theoretical Computer Science (EATCS). Il suo articolo "A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and Their Behavioral Equivalences" è stato riconosciuto nel 2016 come highly cited research dalla rivista scientifica Information and Computation edita da Elsevier. Nel 2020 è stato incluso nella World's Top 2% Scientists List di PLOS.

È stato membro del comitato scientifico nonché relatore di numerosi convegni nazionali e internazionali; nel 2014 ha avviato la serie di seminari di ricerca "Open Problems in Concurrency Theory (OPCT)" nell'ambito dell'IFIP WG 1.8. Ha inoltre svolto il ruolo di principal investigator nel progetto di ricerca nazionale PRIN "Performability-Aware Computing: Logics, Models, and Languages (PaCo)" dal 2008 al 2010, di workpackage leader nel progetto di ricerca nazionale PRIN "Compositionality, Interaction, Negotiation and Autonomicity in the Future ICT Society (CINA)" dal 2013 al 2016, e di principal investigator nel progetto di ricerca nazionale PRIN "Noninterference and Reversibility Analysis in Private Blockchains (NiRvAna)" dal 2022 al 2025.

Dal 2001 ha tenuto insegnamenti di Programmazione Procedurale, Programmazione Logica, Programmazione Funzionale, Algoritmi e Strutture Dati nel Corso di Laurea in Informatica Applicata e dal 2011 è stato componente del Collegio Docenti del Dottorato di Ricerca attualmente denominato Research Methods in Science and Technology, presso l'Università di Urbino. Dal 2001 al 2016 ha organizzato la serie di scuole estive di dottorato "International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)" presso il Centro Congressi di Bertinoro. Dal 2012 al 2014 è stato visiting scholar e poi visiting professor presso IMT Lucca.

All'Università di Urbino ha ricoperto gli incarichi di Presidente del Corso di Laurea in Informatica Applicata (2002-2003, 2003-2006, 2006-2007, 2011-2013), Direttore del Master in Domotica (2006-2007), Delegato Rettorale all'Innovazione Tecnologica (2014-2020), Vice-Direttore del Centro Integrato Servizi Didattici ed E-Learning (2015-2018, 2018-2021), componente del Consiglio di Amministrazione (2019-2021) e Presidente della Scuola di Scienze, Tecnologie e Filosofia dell'Informazione (2021-2024). Ha altresì svolto ruoli di rappresentanza per l'Ateneo in seno a CINECA, GARR e CRUI (2014-2020).

Nella sua attività gestionale si è occupato in maniera significativa di digitalizzazione, ideando e guidando tra gli altri il progetto UniDem - Sistema Integrato per la Dematerializzazione di Modulistica e Processi Amministrativi Universitari, del quale fanno parte le applicazioni open source UniContr e UniConv che nel 2020 sono state messe a riuso per la Pubblica Amministrazione e integrate nella comunità professionale Sinallagma di LineAtenei. Inoltre ha diretto la progettazione, la predisposizione e la manutenzione di piattaforme Moodle e di strumenti di webconference ed e-proctoring a supporto di attività di blended learning ed e-learning nonché di esami a distanza e della loro integrità.