Giovanni Bacci

About me

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. Actually I'm a Research Assistant at the Department of Computer Science, Aalborg University where I am mainly collaborating with Prof. Kim G. Larsen, Prof. Radu Mardare, and Accoc. Prof. Giorgio Bacci.

Reserach Interests:

  • Behavioural Distances
  • Analysis and Verification of cyber-physical systems
  • Process Algebras (nondeterministic, probabilistic and stochastic)
  • Semantics of Programming Languages
  • Program Analysis and Verification

Contact Informations

  • 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