School of Computing

Programming Languages and Systems: People

Below are details on each member of the research group, including research interests and a selection of publications.

(photo)

Dr Mark Batty

Senior Lecturer

Interests:

Concurrency; software verification; systems; relaxed memory; programming language semantics; GPU concurrency.

Selected publications:


(photo)

Dr Laura Bocchi

Senior Lecturer

Interests:

Formal verification of distributed systems; service-oriented systems; concurrency; behavioural types with logical annotations and time; transactions and transaction protocols.

Selected publications:

(photo)

Dr Olaf Chitil

Lecturer

Interests:

Tracing, semantics, algorithmic debugging, tyre error debugging, compilation and functional programming

Selected publications:


Dr Radu Grigore

Senior Lecturer

Interests:

Program analysis; runtime verification; programming languages

Selected publications:

(photo)

Dr Rogerio de Lemos

Senior Lecturer

Interests: Software engineering for self-adaptive systems: assurances and resilience evaluation; architecting resilient systems.
Selected publications:

(photo)

Professor Richard Jones

Professor of Computer Systems

Interests:

Implementation of programming languages; memory management; garbage collection, distributed garbage collection; object demographics; program analysis for improved memory management; program visualisation, rigorous performance evaluation.

Selected publications:

(photo)

Dr Stefan Kahrs

Lecturer

Interests:

Expressiveness of programming languages, type systems, term rewriting, infirtitary rewriting.

Selected publications:

(photo)

Dr Stephen Kell

Lecturer

Interests:

Stephen Kell is closing the divide between higher- and lower-level programming, by building novel run-time mechanisms for language virtual machines, operating systems and points in between.

Selected publications:

(photo)

Professor Andy King

Professor in Program Analysis

Interests:

Abstract interpretation, logic programming and decompilation.

Projects:

LACE, REP-TEH, VIP

Selected publications:

Dr Julien Lange

Lecturer

Interests:

Process calculi, automata theory, model checking and their application to the implementation and verification of concurrent and distributed systems.

Selected publications:

(photo)

Professor Peter Linington

Emeritus Professor of Computer Communication

Interests:

Middleware-based architectures for distributed system, particularly related to Open Distributed Processing. Enterprise specification and the use of policies to parameterise system descriptions, and to automate the process of system generation.

Selected publications:

Dr Stefan Marr

Lecturer

Interests:

My work focuses on programming language implementation techniques and concurrent and parallel programming.

Selected publications:

Dr Matteo Migliavacca

Lecturer

Interests:

My research interests include on-line data processing, distributed publish-subscribe, and high-performance event processing in large scale and cloud scenarios.

Selected publications:

(photo)

Dr Dominic Orchard

Lecturer

Interests:

Mathematical structure of programs; logical foundations of programming; categorical semantics; behavioural type theories; programming language design; program verification for computational science.

Selected publications:

(photo)

Dr Scott Owens

Reader

Interests:

Semantics of shared memory concurrency: design of programming languages; formal verification for software and interactive theorem proving.

Selected publications:

Dr Tomas Petricek

Lecturer

Interests:

Programming languages and tools, especially for data science, studying interactions of programming, bridging the gap between data and types; foundations of programming in a broad sense, including design and human experience; philosophy and history of computing and programming.

Selected publications:

(photo)

Professor Simon Thompson

Professor of Logic and Computation

Interests:

Functional programming in Haskell, Erlang and OCaml; refactoring functional programs: tool building. theory and practice: dependently-typed functional programming; testing of complex and concurrent systems using properties; property extraction from test suites; DLT: languages for smart contracts on blockchains.

Projects:

HaRe, Wrangler and Rotor; KTP-ETC, ProTest, RELEASE, PROWESS, IOHK contracts

Selected publications:

(photo)

Professor Peter Welch

Emeritus Professor of Parallel Computing

Interests:

Concurrency theory and practice - specifically, the CSP and pi-calculus process algebras, supporting languages (occam-pi), libraries (JCSP) and toolsets (FDR), run-time kernels (including multicore) hardware architecture and applications.

Projects:

CoSMoS, JCSP, KRoC, RMoX, TUNA

Selected publications:

Researchers

(photo)

Hugo Feree

Research Associate

Interests:

My interests have been in computational complexity though the last few years I started doing formal proofs - currently for refactoring

Projects:

Trustworthy refactorings

Selected publications:

(photo)

Sarah Harris

Research Associate

Interests:

My interests have been in hardware modelling , decompilation and programme differencing

Projects:

Trustworthy software for nuclear arms control

(photo)

Maurizio Murgia

Research Associate

Interests:

concurrency theory, behavioural type systems, timed systems.

Projects:

Time-sensitive protocol design and implementation

Selected publications:

(photo)

Marco Paviotti

Research Associate

Interests:

Denotational semantics, domain theory, category theory and type theory

Projects:

Denotational semantics of weak memory concurrency 

Selected publications:

(photo)

Ed Robbins

Research Associate

Interests:

Reverse engineering, constraint solving, type recovery.

Projects:

Compositional Security Analysis for Binaries

Selected publications:

Reuben Rowe

Research Associate

Interests:

I am interested in program verification, logic and type systems. In particular, I have worked on cyclic proofs, intersection types, and guarded recursive types.

Projects:

Trustworthy refactorings

Selected publications:

 

Current Postgraduates

(photo)

Simon Cooksey

Interests: Weak-memory models, working with the Alloy model checker

Chris Coppins

Interests: I am working on inferring loop invariants for SPARK Ada programs.

(photo)

Sam Dawson

Interests: Weak-memory models, and theorem proving

(photo)

Nicolas Dilley

Interests: Static verification of message-passing concurrency in Go

(photo)

Joseph Harrison

Interests: I’m working on type inference for Erlang programs which, though functional, are dynamically typed.

(photo)

Hrutvik Kanabar

Interests: My research involves developing techniques to build verified applications in CakeML, which is an open-source functional programming language, verified compiler, and proof ecosystem.

(photo)

Vilem Liepelt

Interests: Fine-grained coeffects via graded modal types

(photo)

Sadie Macintyre

Interests: Reverse engineering, OO programming, vtable layout

(photo)

Andreas Reuleaux

Interests:I’m working on refactoring dependently typed functional programs. Dependently types are more expressive than conventional types and allowing deeper bugs to be caught at compile-time.

(photo)

Thomas Seed

Interests:I’m working on malware classification: the problem of automatically working out when some file is malicious or not. I’m researching into the problem of discerning exactly what constitutes ground truth, and the problem of ranking malware classifiers.

Joanna Sharrad

Joanna Sharrad

Interests: My research interests involve improving the experience programmers have when debugging software written in Functional programming languages. I am particularly interested in type error debugging; looking at locating them when they occur and providing practical error messages.

(photo)

Samuel Williams

Interests: I’ve been building an operating system, almost completely written in Erlang, which runs on top of bare metal. The overarching aim of my work is to investigate failure modes of hardware and software at this level. I’m literally going to pull out some wires and see what happens next.

(photo)

Dan Wright

Interests: I'm working on generating useful proofs about program behaviour, using as little human input as possible.

Former Postgraduates

Stephen Adams

PhD: Data Driven Refractorings for Haskell

Chris Bailey

PhD: Self-Adaptive Authorisation Infrastructures

Fred Barnes

PhD: Dynamics and Pragmatics of High-Performance Concurrency

Edward Barrett

PhD: Range Analysis of Binaries with Decision Procedures

Florence Benoy

PhD: Polyhedral Domains for Abstract Interpretation in Logic Programming

Eric Bonnici

PhD: Mobile Processes and Channels: Tools for Dynamic Complex Systems

Neil Brown

PhD: Communicating Haskell Processes

Chris Brown

PhD: Tool Support for Refactoring Haskell Programs

Matthew Mole

PhD: A Study of Thread-Local Garbage Collection for Multi-Core Systems

Damian Dimmich

PhD: A Process Oriented Approach to Solving Problems of Parallel Decmposition and Distribution

Maarten Faddegon

PhD: Algorithmic debugging for complex lazy functional programs

Rodolfo Gomez

PhD: Verification of Real-Time Systems: Improving Tool Support

Konstantin Kapinchev

PhD: Scalable Parallel Optimisation of Digital Signal Processing in the Fourier Domain

Neil Kettle

PhD: Anytime Algorithms for ROBDD Symmetry Detection and Approximation

Jael Kriener

PhD: Towards A Verified Determinacy Analysis for Prolog including cut

Pablo Lamela Seijas

PhD: Model Construction, Evolution, and Use in Testing of Software Systems

Sebastian Marion

PhD: Using Class-Level Static Properties to Predict Object Lifetimes

Ralph Miarka

PhD: Inconsistency and Underdefinedness in Z Specifications

Bala Modi

PhD: FPGA-based High Throughput Regular Expression Pattern Matching for Network Intrusion Detection Systems

Carl Ritson

PhD: Scalable Support for Process-orientated Programming

Edward Robbins

PhD: Solvers for Type Recovery and Decompilation of Binaries

Thomas Schilling

PhD: Trace-based Just-in-time Compilation for Lazy Functional Programming Languages

Chris Silles

PhD: Provenance-Aware CXXR

Axel Simon

PhD: Value-Range Analysis of C Programs with Focus on Finding Buffer Overflow Vulnerabilities

Jon Simpson

PhD: High Level Paradigms for the Structuring of Concurrent Systems

Jan-Georg Smaus

PhD: Modes and Types in Logic Programming

Connor Smith

PhD: Optimal Sharing Graphs for Substructural Higher-Order Rewriting Systems

Maarten Steen

PhD: Consistency and Composition of Process Specifications

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/01/2019