Paul is a PhD student interested in scalable concurrency testing techniques. He created SCTBench, a collection of benchmarks and scripts for evaluating systematic concurrency testing techniques. He is interested in creating new exhaustive techniques, e.g. based on dynamic partial-order reduction (DPOR), as well as light-weight, heuristic-based techniques. He has also contributed to the GPUVerify project.

Paul obtained his BSc in Computer Science from Southampton University in 2010 and his MSc in Computer Science from Oxford University in 2011. His MSc project was on automatic data race detection using symbolic execution, extending Cloud9, which is a fork of KLEE, a symbolic execution tool.

Group Publications