© University of Kent - Contact | Feedback | Legal | Cookies
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.
- Head of group: Andy King.
- Web keeper: Fred Barnes.
- Seminar organiser: Jael Kriener.
If you want to link to the group pages from somewhere, logos can be found on this page. An internal view of this page (with additional links for Kent staff) can be found here.
News:
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).
People:
|
|
|
Research support:
Research in the group is supported by the following organisations:
 |
|
 |
|
 |
|
 |
Seventh EU Framework Programme for Research and Technological Development |
 |
|
 |
|
 |