Recent talks

• "Quantitative Verification: Models, Techniques and Tools" [Slides, PDF file]
  Invited talk given the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, Cavtat, Croatia, September 2007.
  
  
• "Protocol analysis via probabilistic model checking with PRISM" [Slides, PDF file]
  A talk given at the OSQ seminar, University of California Berkeley, December 2006.
  
  
• "Simulation and verification for computational modelling of signalling pathways" [Slides, PDF file]
  A talk given at Winter Simulation Conference 2006, Monterey, December 2006.
  
  

Tutorials

• Invited tutorial, BISS 2007: Bertinoro International Spring School for Graduate Studies in Computer Science
  
  
• Invited tutorial, 7th Edition in the series of Schools on Formal Methods (SFM) SFM-07:PE
  
  
• VPSM PhD school (Verification of Protocols for Security and Mobility) 2006
  Tutorial on Probabilistic Model Checking and PRISM, now superseded by PRISM Tutorial