Regular courses @ GSSI	Other lectures/tutorials
Current courses Introduction to Formal Methods Model Checking Past courses Formal Behavioural Specifications Modelling and Verification of Reactive Systems Model Checking and Software Verification	International summer school on Behavioural Approaches for API-Economy with Applications. Organiser and scientific director: Leicester (08-12/07/2019) Designing and analysing distributed applications with automata and choreographies. Visiting Professor 2015: Cagliari (IT) (30 June 2015 - 16 July 2015) Introduction to security protocols. Visiting Professor 2014: Cagliari (IT) (April 2014) Introduction to concurrent systems / Bisimulation, process algebras, and co-induction. Visiting Professor 2012: Cagliari (IT) (Aprile / July 2012) Automata for verification of mobile system. ECI 2004: Buenos Aires (AR) (26-31 July 2004)
Invited Lectures/tutorials
Choreographic Development of Message-Passing Applications - A Tutorial. DisCoTec 2020; 15/6/2020 “Think ontologically: An Introduction to the use of Ontologies in Archaeology and Digital Humanities”. A tutorial day Department of Arcaeology, University of Leicester; 17/6/2017 Introduction to behavioural types. Guest lecturer for the course on languages and models for Global Computing Laurea Magistrale in Informatica (2015/2016) - Università di Padova (IT); 9 - 12 May 2016 Introduction to distributed choreographies. MGS 2016 Birmingham (UK); 11 - 15 April 2016 “Think Ontologically. A Crash Course on Ontology Modelling for Archaeologists”. Tutorial day Faculty of Archaeology of Leiden (The Netherlands); 11/5/2014 “Interactions, automata, and names”. Invited lectures Pisa (IT); December 2012 Protocol Verification. MGS 2010 Sheffield (UK); 28 March - 1 April 2010 “Synchronised Hyperedge Replacement as a Model for Service Oriented Computing”. BPESO 2007 Copenhagen (DK); 16-19 October 2007 Concurrency and Mobility. MGS 2006 Leicester (UK); 8-12 April 2006