Giovanni Bacci

About me

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

Contact Info

  • affiliation: Department of Computer Science
  • address: Selma Lagerlöfs Vej 300, DK-9220 Aalborg East
  • office: 1.2.59 (First cluster, second floor, room 59), Cassiopeia Building
  • phone: +45 9940 9859
  • e-mail: giovbacci[at]cs.aau.dk