Just to say a few words, I like computer science of course, but I am also very interested in family and music. As a kid I preferred math and sciences to humanities, though I was considered to have good chances to become a poet after winning the third price in a poetry competition in Bellombra (Rovigo) in 1977. Once I thought I would have worked within electronics, but certainly not as a professor. Then I was attracted by a Commodore 64, and my interests in Computer Science started to grow up. I studied Computer Science in high school at ITIS Marconi in Verona, continued with my undergraduate studies in Pisa at the Scuola Normale Superiore, and then moved to MIT for a PhD. Finally, guess what, I decided to return back to Italy, mostly because of my interest in family, and now I am very happy to work in Verona.
I love basic research, though unfortunately basic research is not among the goals of the Italian as well as the European funding agencies. My main research interests are in the area of
modeling and verification of concurrent systems that include
real-time, continuous, and probabilistic behavior. In several
occasions I use algorithms and protocols as case studies or as guidelines for theoretical development. In particular, I am involved in distributed algorithms, hybrid systems, probabilistic model checking, theorem proving, and security.