Skip to primary content

PLanCompS

Programming Language Components and Specifications

Main menu

  • Home
  • Background
  • People
  • Publications
  • Semantic descriptions library

People

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)
Proudly powered by WordPress