I am professor of Computer Science at the University of Verona since 2001. 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.

• Seventh International Conference on Quantitative Evaluation of SysTems (QEST 2010) (pc co-chair), Williamsburg, Virginia, USA, September 15-18 2010.
• 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages (Invited lecturer), Bertinoro, Italy, June 21-26 2010.
  
  
• Formal Methods for Aerospace (pc member), Eindhoven, the Netherlands, November 3, 2009.
• 16th workshop Expressiveness in Concurrency - EXPRESS'09 (pc member), Bologna, Italy, September 5, 2009.
• Computational and Symbolic Proofs of Security: Spring School and workshop (invited speaker), Atagawa, Japan, April 6-9 2009.
• Sixth International Conference on Quantitative Evaluation of SysTems (QEST 2009) (pc member), Budapest, Hungary.
  
  
• Automata and Verification Workshop (invited speaker), Mons, Belgium, August 2008.
• Nancy Lynch Celebration: Sixty and Beyond (invited speaker), Toronto, August 20, 2008
• Fifth International Conference on Quantitative Evaluation of SysTems (QEST 2008) (pc member), Saint Malo, France.
  
  
• Two Decades of Probabilistic Verification: Reflections and Perspectives (invited), Lorentz Center, Leiden, NL, November 12-17 2007.
• International School on Foundations of Security Analysis and Design (FOSAD) (lecturer), Bertinoro, Italy, September 2007.
• Tenth Italian Conference on Theoretical Computer Science (ICTCS 2007) (pc member), Rome, Italy.
• 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007) (pc member), Lisbon, Portugal.
• 5th Workshop on Quantitative Aspects of Programming Languages(QAPL 2007) (invited speaker), Braga, Portugal.
• Fourth International Conference on Quantitative Evaluation of SysTems (QEST 2007) (tutorial chair), Edinburgh, UK.
  
  
• 17th International Conference on Concurrency Theory (CONCUR 2006) (invited tutorial), Bonn, Germany.
• 19th IEEE Computer Security Foundations Workshop (CSFW 2006) (panelist), Venice, Italy.
• Third 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
• Second 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.

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

• SOFT Software Oriented Formal Techniques (2008-2009), MIUR PRIN project involving Pisa, Venezia, Verona.
  
  
• C4C - Seventh Framework Programme (FP7/2007-2013) under grant agreement no. INFSO-ICT-223844.
  
  
• 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.