Marco Bernardo

Marco Bernardo is a Full Professor of Informatics at the University of Urbino Carlo Bo, where he joined in 2001 after positions at the University of Torino (Ricercatore) and the University of Bologna (Researcher). His research focuses on theoretical computer science, particularly semantics of programming languages, software correctness verification, process algebra, and formal methods. He authored over 130 publications, including the book A Process Algebraic Approach to Software Architecture Design (Springer, 2010), and contributed to highly cited work in stochastic process modeling. He has held significant administrative roles, including President of the School of Sciences, Technologies and Philosophy of Information (2021–2027), Vice-Director of the Integrated Didactic Services and E-Learning Center, and led digitalization initiatives like the UniDem project.

• Ph.D. in Informatics, University of Bologna (1999)
• Laurea in Scienze dell'Informazione, University of Bologna (1994)
• Visiting PhD Student, North Carolina State University (1997)

His research spans process algebra, noninterference analysis, and blockchain verification, with applications in software architecture design and formal methods. He has contributed to national research projects as Principal Investigator (PRIN NiRvAna 2022–2025, PRIN PaCo 2008–2010) and Workpackage Leader (PRIN CINA 2013–2016). His 2016 paper on mixed behavioral equivalences was recognized as highly cited by Elsevier's Information and Computation.

• World's Top 2% Scientists List (PLOS, 2020)
• Elsevier Information and Computation Highly Cited Research (2016)
• EATCS Italian Chapter Thesis Award (1999)

Marco has taught courses in procedural programming, logic programming, functional programming, and theory of computation since 2001. He directed the Bertinoro Summer Schools on Formal Methods (SFM) and co-founded the IFIP WG 1.8 seminar series on concurrency theory. He also designed e-learning platforms and digital administrative systems for the University of Urbino, including Moodle integrations and open-source tools like UniContr and UniConv.