Staff visits and collaborations with other Institutions

  • Henri Poincaré University, Nancy 1, France, Erasmus Teaching Exchange 2009: Lectures on the Spec# Programming System

 

  • Institute of Cybernetics, Tallinn University of Technology, To attend COST Action IC0701, Winter School on Verification of Object-Oriented Programs ran by a European network of researchers working on methods and tools for verification.

 

  • Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), France , Ulysses Visit 2008: research on translating programs for control system from Programmable Logic to Event B so that we can use formal verification tools to verify its software requirements.

 

  • Dublin City University, Collaboration with Prof J. Morris on Data Refinement in Object Oriented Languages.

 

  • MOSEL Research Group, Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Research on the formal verification and refinement of software systems using the Event-B methodology.