The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Programming Languages and Systems
The Programming Languages and Systems (PLAS) research group is actively researching in both practical and theoretical aspects of program design and system building. Our work in languages encompasses programming across a broad range of paradigms: concurrent, imperative, functional, logic and object-oriented. These interests are complemented by architectures and systems research in intrusion detection, mobile and distributed systems. Our work is linked by shared interests in semantics, verification and implementation. Common aspirations of the PLAS group are to develop techniques and tools for program manipulation, ensure program correctness, and improve the reliability and security of programs.
Currently funded projects:
Projects of the research group (see the list on the right for more). A full list of research group projects can be found here.
Interested in postgraduate study?
From October 2009 we are recruiting new PhD and MSc research students to these research projects and others. We offer a research environment of international quality and an impressive support package for research students: funding, including maintenance of £12,300, is available for research degrees (funding and how to apply).
Research in the group is supported by the following organisations: