Giorgio Bacci

Giorgio Bacci is an Associate Professor at the Department of Computer Science, Aalborg University, Denmark. He is a member of the Distributed, Embedded, and Intelligent Systems (DEIS) research group led by Prof. Kim G. Larsen. He earned his Ph.D. in Computer Science from the University of Udine (2013) under Prof. Marino Miculan, following M.Sc. and B.Sc. degrees in Computer Science from the same university (2008 and 2005, both 110/110 cum laude).

Research Interests include:

• Behavioural Metrics: Quantitative methods for system equivalence and approximation.
• Model Synthesis and Automata Learning: Automated construction of models for probabilistic/stochastic systems.
• Analysis of Cyber-Physical Systems: Formal verification techniques for real-time and hybrid systems.
• Process Algebras: Nondeterministic, probabilistic, and stochastic process calculi.
• Semantics of Programming Languages: Formal models for probabilistic and concurrent computation.

Scientific Service includes roles as PC member for LICS 2025, ICALP 2025, and co-chair for EXPRESS/SOS 2025 and GandALF 2025. He has contributed to 35 publications in areas like probabilistic automata, Markov processes, and bigraphical models, with a focus on computational complexity and behavioral distances.

Awards include:

• Teacher of the Year 2022/2023 (Department of Computer Science, Aalborg University)
• Best Paper Award at CALCO 2021.