Marco Bernardo was born in Bologna in 1970. He received an MSc in Computer Science in 1994 and a PhD in Informatics in 1999, from the University of Bologna. In 1997 he was a visiting PhD student at the North Carolina State University. After a short period as research assistant in informatics at the University of Bologna, from 1999 to 2001 he was a tenured researcher in informatics at the University of Torino and from 2001 to 2018 an associate professor of informatics at the University of Urbino. Since 2018 he is a full professor of informatics at the University of Urbino.
He authored more than 130 scientific publications in the field of theoretical computer science, in particular semantics of programming languages and verification of software correctness, among which the book "A Process Algebraic Approach to Software Architecture Design" published by Springer in 2010. His PhD thesis "Theory and Application of Extended Markovian Process Algebra" received a prize in 1999 by the Italian Chapter of the European Association for Theoretical Computer Science (EATCS). His paper "A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and Their Behavioral Equivalences" was recognized in 2016 as highly cited research by the scientific journal Information and Computation published by Elsevier. In 2020 he was included in the World's Top 2% Scientists List of PLOS.
He was a member of the scientific committee as well as a speaker of numerous national and international conferences; in 2014 he started the series of research seminars "Open Problems in Concurrency Theory (OPCT)" within the IFIP WG 1.8. He also played the role of principal investigator in the PRIN national research project "Performability-Aware Computing: Logics, Models, and Languages (PaCo)" from 2008 to 2010, of workpackage leader in the PRIN national research project "Compositionality, Interaction, Negotiation and Autonomicity in the Future ICT Society (CINA)" from 2013 to 2016, and of principal investigator in the PRIN national research project "Noninterference and Reversibility Analysis in Private Blockchains (NiRvAna)" from 2022 to 2025.
Since 2001 he taught courses on Procedural Programming, Logic Programming, Functional Programming, Algorithms and Data Structures in the BSc Programme in Applied Informatics and since 2011 he was a member of the Board of the PhD Programme currently called Research Methods in Science and Technology, at the University of Urbino. From 2001 to 2016 he organized the series of PhD summer schools "International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)" at the Congress Center of Bertinoro. From 2012 to 2014 he was a visiting scholar and then a visiting professor at IMT Lucca.
At the University of Urbino he was appointed Chair of the BSc Programme in Applied Informatics (2002-2003, 2003-2006, 2006-2007, 2011-2013), Director of the Master in Home and Building Automation (2006-2007), Rector's Delegate for Technological Innovation (2014-2020), Deputy Director of the Integrated Center for Teaching Services and E-Learning (2015-2018, 2018-2021), member of the Administration Board (2019-2021), and Chair of the School of Information Science, Technology, and Philosophy (2021-2024). He also was a representative of the University of Urbino within CINECA, GARR, and CRUI (2014-2020).
In his management activity he significantly contributed to digitalization, by originating and supervising among others the project UniDem – Integrated System for the Dematerialization of University Administration Forms and Processes, including the open-source applications UniContr and UniConv that in 2020 were made available for reuse purposes to the Public Administration and integrated in the professional community Sinallagma of LineAtenei. Moreover he directed the design, deployment, and maintenance of Moodle platforms and webconference and e-proctoring tools to support blended learning and e-learning activities as well as distance exams and their integrity.