Join us – find out about our current opportunities here
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 reserch in concurrency, relaxed memory, verified compilation and garbage collection. All our work is linked by shared interests in semantics, type systems, verification and implementation.
- March 2021 – David Castro-Perez has joined us as a Lecturer. Welcome David!
- February 2021 – Andy King along with Budi Arief (Security group at Kent) have received funding from VeTSS for their project on Symbolic Computation for Mainstream Verification.
- Stefan Marr has been awarded a Royal Society Industry Fellowship: FastStart: Fast Single-Truth Language Runtimes.
- 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.
- 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.