Research Visitors hosted at NUIM

• Dominique Mery, UHP, Henri Poincaré University, Nancy 1, France, Erasmus Teaching Exchange 2009: Lectures presented to the MSc in Computer Science students on Event B and the Rodin platform and a Departmental Seminar on Case studies in Event B.

• Dominique Mery, LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications, 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.

• Dominique Cansell, LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications, 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.

• Dominique Mery, UHP, Henri Poincaré University, Nancy 1, France, Erasmus Teaching Exchange 2008: Lectures presented to the MSc in Computer Science students on Event B and the Rodin platform and a Departmental Seminar on Case studies in Event B.

• Paul Gibson, Le département LOgiciels-Réseaux, Telecom & Management SudParis, Research Visit in 2008 for collaboration on teaching formal methods and presentation of research relating to the ETAPS 2008 publication "How Do I know If My Design Is Correct?"

• K. Rustan M. Leino Microsoft Research, Redmond, Research Collaboration and Research Presentation in 2007: Program verification via an intermediate verification language

• Anna Danko, Polish Japanese Institute of Information Technology, Warsaw, Poland, Research collaboration and presentation of research on Multi Agent Systems (May 11th and 12th, 2004)

• Rem Collier, Department of Computer Science, University College Dublin, Research presentation on Agent Factory: A Framework for the Engineering of Agent-Oriented Applications (9th February 2004)

• John McCormack, Hewlett Packard, Systems Research Labs, Palo Alto, Research collaboration and presentation in 2003.