 |
|
|
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
|