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

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)

Professor Andy King

Professor in Program Analysis

Interests:

Abstract interpretation, logic programming and decompliation.

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:

(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:

Dr Meng Wang

Lecturer

Interests:

Functional programming; bidirectional transformation; software testing and debugging.

Selected publications:

Researchers

(photo)

Aziem Chawdhary

Research Associate

Interests:

Abstract interpretation, semantics, termination analysis, malware classification

Projects:

SeMaMatch

Selected publications:

(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)

Pablo Lamela-Seijas

Research Associate

Interests:

Functional languages, model inference, cryptocurrencies and smart-contracts in cryptocurrencies.

Projects:

Developing a DSL for Cardano SL

Selected publications:

(photo)

Maurizio Murgia

Research Associate

Interests:

concurrency theory, behavioural type systems, timed systems.

Projects:

Time-sensitive protocol design and implementation

Selected publications:

  • Verifiable abstractions for contract-oriented systems - Journal of Logic and Algebraic Methods in Programming (2017)
  • A Contract-Oriented Middleware - Formal Aspects of Component Software (2015)
  • Compliance and Subtyping in Timed Session Types - FORTE  (2015)

(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:

 

Postgraduates

 

Stephen Adams

 
Interests: I’m working on functional programming in Haskell, and in particular refactorings that support changes to types and functional signatures. I also like rock climbing.

(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)

 

Joseph Harrison

 

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

(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.

 

Jonathan Sherry

 

Interests:I’m reading on relaxed memory models, semantics and program logics, though sometimes I think about types and category theory too.

(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.

 






 
 

 

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

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

Last Updated: 05/12/2017