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 (November 2011 – December 2013)
• Kathy Gray (January – July 2012)
• Joseph Reddington (September 2011 – August 2014)
• Neil Sculthorpe (March 2014 – February 2016)
• Paolo Torrini (October 2012 – March 2015)

PhD students:

• Casper Bach Poulsen
• Robert Walsh

Affiliated PhD students:

• Thomas van Binsbergen
• Ferdinand Vesely

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)