Investigators:

• Peter Mosses (Department of Computer Science, Swansea University)
• Adrian Johnstone and Elizabeth Scott (Department of Computer Science,Royal Holloway, University of London)
• George Buchanan (Centre for HCI Design, City University London)
• Cliff Jones (School of Computing Science, Newcastle University)

Postdocs:

• Martin Churchill
• Kathy Gray   (January – July 2012)
• Joseph Reddington
• Paolo Torrini

PhD students:

• Casper Poulsen
  
• Robert Walsh

Project partner:

• Andrew Kennedy (Programming Principles and Tools Group, Microsoft Research Cambridge)

Visiting researchers:

• Mark van den Brand (Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands)
• Paul Klint (Software Analysis and Transformation, CWI, The Netherlands)
• Grigore Rosu (Formal Systems Laboratory, Department of Computer Science,University of Illinois at Urbana-Champaign, USA)