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