Giovanni Bacci

About me

I was born in Pordenone, Italy, on April 29th, 1983. I was graduated from the University of Udine in computer science. I have a Ph.D. in Computer Science from the Department of Mathematics and Computer Science, University of Udine which has been supervised by Prof. Marco Comini. Actually I'm a Postdoc Researcher at the Department of Computer Science, Aalborg University under the joint supervision of Prof. Kim G. Larsen and Radu Mardare.

Reserach Interests:

  • Process Algebras (nondeterministic, probabilistic and stochastic)
  • Process Analysis and Verification
  • 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]