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

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 Eerke Boiten

Reader

Interests:

Formal methods, refinement, cryptography and security.

Selected publications:

(photo)

Dr Olaf Chitil

Lecturer

Interests:

 

Selected publications:

  • Lightweight Computation Tree Tracing for Lazy Functional Languages - PLDI (2016)

Dr Maria Christakis

Lecturer

Interests:

I am investigating topics in automatic test generation, software verification, program analysis, and empirical software engineering.

Selected publications:

 

Dr Radu Grigore

Lecturer

Interests:

Abstraction refinement; run-time verification; Datalog; separation logic; data structures and machine learning.

Selected publications:

(photo)

Dr Rogerio de Lemos

Senior Lecturer

Interests:Software engineering for self-acaptive systems: just dynarric generation Of processes, abstractions for Supporting self-adaptability and self-organisation, resilience evaluation; self-adaptive dependable and secure systems; architecting dependable systems: architectural abstractions for fault tolerance, and verification and validation of dependable software architectures; software development for safety-critical systems; dependability and bio-inspired computing.
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.

Projects:

Eliot Moss, GCspy, LACE, MM-Net, MirrorGC, Tony Hosking

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

Projects:

LACE, REP-TEH, VIP

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.

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 and Erlang; refactoning functional programs: tool building. theory and practice: dependently-typed functional programming; testing of complex and concurrent systems using properties; property extraction from test suites.

Projects:

HaRe, KTP-ETC, ProTest, RELEASE, Wrangler

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

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:

 

Hugo Feree

Research Associate

Interests:

My interests have been in computational complexity though recently I have started on formalising refactoring.

Projects:

Trustworthy refactorings

Selected publications:

  • Characterizing polynomial time complexity of stream programs using interpretations. TCS (2015)
  • Analytical properties of resource-bounded real functionals. Journal of Complexity (2014)
  • On the Query Complexity of Real Functionals. LICS (2013)
 

(photo)

Carl Ritson

Research Associate

Interests:

Concurrent operating-systems, highly-parallel simulation, parallel video processing.

Projects:

CoSMoS, KRoC, MirrorGC, RMoX, TUNA, The Transterpreter

Selected publications:

(photo)

Ed Robbins

Research Associate

Interests:

Reverse engineering, constraint solving, type recovery.

Projects:

Compositional

Selected publications:

Reuben Rowe

Research Associate

Interests:

I am interested in type systems and type-based analysis in general, with particular emphasis on 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)

 

Maarten Faddegon

 

Interests: I’m working on the tracing and debugging of lazy functional programs. My most recent work has focussed on using the cost centre stack from the Glasgow Haskell Compiler profiling environment, together with runtime value observations as provided by the Haskell Object Observation
Debugger (HOOD), to collect information for algorithmic debugging.

(photo)

 

Joseph Harrison

 

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

(photo)

 

Konstantin Kapinchev

 

Interests:My main research interests are in the area of parallel computing and digital signal processing. My research involves parallel optimization based on multithreading for multi-core and many-core architectures. I study the performance of different parallel approaches to digital signal
processing algorithms.

(photo)

 

Pablo Lamela-Seijas

 

Interests:I’m studying clone detection in functional programs and how clones can be removed as part of the refactoring process.

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

 

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)

 

Connor Smith

 

Interests:I’m working on higher-order term rewriting, in particular infinitary term rewriting that allows one to express infinite terms and transfinite reductions that converge to those terms. I’ve also been studying full laziness that ensures that sub-expressions in a function body, which do not depend on the function's arguments, are only evaluated once.

(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: 20/12/2016