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 used algorithms as case studies. Other topics of interest include model checking, theorem proving, and security.

• MIT, Laboratory for Computer Science, Theory of Distributed Systems group.
  Working with Nancy Lynch on probabilistic verification and hybrid systems.
• University of Birmingham - UK, School of Computer Science.
  Working with Marta Kwiatkowska on probabilistic model checking.
• University of Nijmegen - The Netherlands, Nijmegen Institute for Computing and Information Sciences.
  Working with Frits Vaandrager on probabilistic models and hybrid systems.

• 19th IEEE Computer Security Foundations Workshop (CSFW 2006) (panelist), Venice, Italy.
• 17th International Conference on Concurrency Theory (CONCUR 2006) (invited tutorial), Bonn, Germany.
• International Conference on Quantitative Evaluation of SysTems (QEST 2006) (pc member), Riverside, CA, USA.
• 22nd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2006) (pc member), Genova, Italy.
• Workshop on Quantitative Aspects of Programming Languages (QAPL 2006) (pc member), Vienna, Austria.
• Alpine Verification Meeting (invited speaker), Lausanne, October 6 2005
• International Conference on Quantitative Evaluation of SysTems (QEST 2005) (pc member), Torino, Italy.
• 21st Conference on the Mathematical Foundations of Programming Semantics (MFPS 2005) (pc member), Birmingham, UK.
• Spring School on Security (lecturer), Marseille, France, April 2005.
• International Colloquium on Automata, Languages and Programming (ICALP 2005) (pc member), Lisboa, Portugal.
• Workshop on Quantitative Aspects of Programming Languages (QAPL 2005) (pc member), Edinburgh, UK.
• Workshop on the Foundations of Global Computing (2004) (pc member), London, UK.
• Workshop on Probabilities in Artificial Intelligence (2004) (invited), Barbados.
• International Conference on Quantitative Evaluation of SysTems (QEST 2004) (pc member), Enschede, The Netherlands.
• Workshop on Quantitative Aspects of Programming Languages (QAPL 2004) (pc member), Barcelona, Spain.
• 14th international conference on concurrency theory (CONCUR 2003) (pc member), Marseille, France.
• 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC 2003) (pc member), Boston, USA.

• International Journal of Hybrid Systems, Nonpareil Publishers. Editorial Board member since 2001.
• International Conference on Quantitative Evaluation of SysTems (QEST). Steering Committee member (2003-2007)
• Probabilistic Methods in Verification. Steering Committee member (1999-2004).

• ProNoBiS: Probability and Nondeterminism, Bisimulations and Security (2006-2007), INRIA project involving ENS Cachan, INRIA Futurs, Queen Mary University, Universitè Paris 7, Università di Verona, University of Birmingham.
• AIDA Abstract Interpretation Design and Applications (2005-2007), MIUR COFIN project involving Bologna, Padova, Parma, Pisa, Udine, Venezia, Verona (coordinator).
• Automated Verification of Probabilistic Protocols with PRISM (2003-2006), EPSRC visiting fellow, University of Birmingham.
• (SPY-Mod) Abstract interpretation and model checking for the verification of embedded systems (2003-2005) FIRB project (Basic Research) involving Padova (coordinator), Venezia, Verona.
• CoVer: Constraint-based Verification of Reactive systems (2002-2004) MURST project involving Bologna (coordinator), Genova, Padova, Parma, Udine, Verona, CNR-IEI-CNUCE Pisa.
• Mefisto - MURST project (2001-2003)
• Tosca - MURST project (1999-2001)
• Automatic Verification of Randomized Distributed Algorithms (1998-2001) - EPSRC Visiting Fellow, University of Birmingham.

• Coordinatore del Dottorato in Informatica
• Vice Presidente del Consiglio di Corso di Studi delle classi 26 e 23/S
• Presidente della Commissione Didattica dei Corsi di Studio delle classi 26 e 23/S
• Responsabile del progetto di Ateneo Informatica di Base per non Informatici
• Referente di Ateneo per l'ECDL
• Rappresentante di sede presso il GRIN