Jump to accessibility statement Jump to content
Group photo of members

Programming Languages and Systems Research Group

Head of Group: Mark Batty - Seminar Organiser: Olaf Chitil

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.

Recent news

  • December 2020 – PLaS have a number of fully-funded PhD studentships available and are also currently hiring for a Lecturer in Computing and Research Associate for Project CaMELOT – see our Join Us page for more information.
  • September 2020 – Congratulations to our PhD student Jack Hughes for winning best paper award (and a €500 prize) at LOPSTR 2020 for his work on Resourceful Program Synthesis with Graded Modal Types joint with his supervisor Dominic.
  • September 2020 – Olaf Chitil hosted IFL 2020 (the 32nd iteration of Symposium on Implementation and Application of Functional Languages) at the University of Kent (run as a virtual event).
  • July 2020 – Stefan Marr has been awarded a New Investigators Award on his project CaMELot: Catching and Mitigating Event-Loop Concurrency Issues.
  • June 2020 – Laura Bocchi and Simon Thompson have been awarded funding for their project STARDUST: Session Types for Reliable Distributed Systems (STARDUST).
  • May 2020 – Mark Batty, Stephen Kell, and Simon Cooksey have just been award funding for their project CapC: Capability C semantics, tools and reasoning as part of the ISCF Digital Security by Design Research project.
  • March 2020 – Dominic Orchard has been awarded a New Investigators Award on Verifying Resource-like Data Use in Programs via Types.

Join us

We have a number of exciting opportunities including fully-funded PhD studentships

Find out more