Research Team


Most of my research team work in the Parallel and Distributed Functional Languages (PDF) sub-group of the Dependable Systems Group .

Research Staff

The staff are employed on a range of related research projects.

2016-20 Natascha Harth on the EPSRC MaRIONet Manycore Research Network (EP/P006434).

2009-17 Dr Patrick Maier, PostDoctoral Fellow and Researcher Investigator on Adaptive JIT-based Parallelism (AJITPar) EPSRC project.
Formerly Research Associate on EPSRC HPC-GAP project.

2011-17 Dr Natalia Chechina, PostDoctoral Fellow
Formerly a Research Associate on EU FP7 RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software, and PhD student.

2013-15 Dr Kenneth MacKenzie, Research Associate on EU FP7 RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software

2011-15 Mr Joe Davidson, Research Associate on EU FP7 RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software

2011-15 Mr Amir Ghaffari, Research Associate on EU FP7 RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software

2011-12 Dr Idris Skloul Ibrahim, Research Associate on EU FP7 CALCIUM: Computer Algebra on Cloud Infrastructures

2009-10 Mr Mustafa Aswad, as a PhD student and Research Associate on EU FP6 I3 project: Symbolic Computation Infrastructure for Europe (SCIEnce).

2002-08 Dr Abdullah Al Zain, , initially as a PhD student, then as a Research Associate on EU FP6 I3 project: Symbolic Computation Infrastructure for Europe (SCIEnce).

2004-08 Dr Xiao Yan Deng , initially as a PhD student, then as a Research Associate on PAMGUARD Core.

2006-07 Mr Paul Redmond, working on PAMGUARD Maintenance.

2006-07 Mr David McLaren, working on PAMGUARD Core.

2002-06 Mr Jan Henry Nystrom, working on EPSRC project (GR/R88137): High Level Techniques for Distributed Telecommunications Software.

1999-2007 Mr Robert Pointon , initially as a Research Associate on EPSRC project (GR/M55633): Functional Distributed Interactive Systems, then as a part-time PhD Student.

1998-99 Dr David King working on Open University Research Development Fund project (RDF 708): APSET, (A Parallel Software Engineering Tool). David is now a Senior Scientist at Praxis.

1994-02 Dr Hans-Wolfgang Loidl, initially as a PhD student, then as an Austrian Academy of Sciences Post-doctoral Fellow.

Current PhD Students

2014 Blair Archibald Ph.D.
Next Generation HdpH Haskell

2014 Aamir Khan Ph.D.
Robust Visual Representation and Reasoning for Active Binocular Vision

2014 Magnus Morton Ph.D.
Costing JIT Traces for Adaptive Parallelism

Completed PhD Students

Completed theses are available.

2011-16 Prabhat Totoo Ph.D.
Inherently Parallel Data Structures

2011-16 Joe Davidson PhD.
An Information Theoretic Approach to the Expressiveness of Programming Languages

2011-15 Amir Ghaffari PhD.
The Scalability of Reliable Computation in Erlang

2010-15 Malak Aljabri Ph.D.
GUMSMP: a scalable parallel Haskell implementation

2011-15 Majeed Al Saeed Ph.D.
Profiling a parallel domain specific language using off-the-shelf tools

2010-13 Rob Stewart Ph.D.
Reliable Massively Parallel Symbolic Computing: Fault Tolerance for a Distributed Haskell

2008-13 Khari Armih
Toward Optimised Skeletons for Heterogeneous Parallel Architectures with Performance Cost Models

2008-12 Mustafa Aswad Ph.D.
High-Level Parallelism on Multicores and Multicore Clusters

2008-12 Alexandru Carstea Ph.D.
Generic Access to Symbolic Computing Services

2006-12 Ali Etorban Ph.D.
A DSDV-based Multipath Routing Protocol for Mobile Ad Hoc Networks

2008-11 Natalia Chechina Ph.D.
Autonomous Mobility in Multilevel Networks

2006-09 Dominic Mulligan Ph.D.
Extensions of nominal terms

2005-09 Lu Fan Ph.D.
Solving Key Design Issues for Massively Multiplayer Online Games on Peer-to-Peer Architectures

2003-07 Xiao Yan Deng Ph.D.
Cost Driven Autonomous Mobility

2002-06 Abdullah Al Zain Ph.D.
Integrated High-Performance Computation on a Grid

2001-05 Andre Rauber du Bois Ph.D.
Mobile Computation Using a Lazy Functional Language

2000-05 Ioannis Sarafis Ph.D.
Data Mining Clustering using Genetic Algorithms

2001-03 Mustafa Aswad MPhil
Multi-architecture Parallel Programming using GpH, a Functional Language

1998-01 Jun Yang Ph.D.
Improving Polymorphic Type Explanations

1994-98 Hans-Wolfgang Loidl Ph.D.
Granularity in Large-Scale Parallel Functional Programming

1990-94 Daniel Chan Ph.D.
Object-Oriented Query Language Design and Processing