Search

School of Computing

Programming Languages and Systems

The Programming Languages and Systems (PLAS) research group researches both practical and theoretical aspects of programming language design and system building. Our work in languages spans programming across a broad range of paradigms including: imperative, object-orientated, functional and logic programming, and even assembler. These interests are complemented by our architectures
and systems research in concurrency, relaxed memory, verified
compilation and garbage collection. All our work is linked by
shared interests in semantics, type systems, verification and
implementation.

Interested in postgraduate study?

We recruit new PhD and MSc research students every year.
We offer a research environment of international quality and an impressive support package for
research students. Our list of PhD projects is merely indicative; we are always interested in projects sugested by students if they overlap with our research interests.