Giovanni Bacci

I am a Associate Professor at the Department of Computer Science, Aalborg University and member of the DEIS group led by Prof. Kim G. Larsen.

I was born in Pordenone, Italy, on April 29th, 1983. I graduated in Computer Science at the University of Udine. I have received my Ph.D. in Computer Science from the Department of Mathematics and Computer Science, University of Udine under the supervision of Assoc. Prof. Marco Comini.

Reserach Interests:

• Behavioural Metrics
• Model Synthesis and Automata Learning
• Analysis and Verification of cyber-physical systems
• Process Algebras (nondeterministic, probabilistic and stochastic)
• Semantics of Programming Languages
• Program Analysis and Verification