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.