DR GEM STAPLETON, a research fellow in the School of Computng, Mathematical and Information Sciences , received a Distinguished Dissertation Award from the Conference of Professors and Heads of Computing (CPHC) and British Computer Society (BCS). Gem was runner-up in the annual competition for the best British PhD/DPhil dissertations in computer science.
Her PhD thesis entitled Reasoning with Constraint Diagrams was completed in 2004 under the supervision of Professor John Howse, Dr John Taylor and Dr Ali Hamie. A reviewer of her thesis for this award said her research is of exceptional quality and likely to represent a benchmark, being comparable to seminal work in the diagrams field. The award was presented to her at the Royal Society by BCS President Charles Hughes.
Subsequently, she has been nominated for the international Ackermann Award which will be presented to the best PhD thesis focusing on Logic in Computer Science. Gem, who graduated with a first-class Mathematics degree from Brighton in 2001, currently holds a prestigious Leverhulme Trust Early Career Fellowship.