skip to content

Department of Computer Science and Technology

Two alumni of this department have been highly commended by the judges of a prestigious academic award for their research contributions to computer science.

Former PhD students Wenda Li and Guy Edward Toh Emerson (pictured right) were the runners-up in the CPHC/BCS Distinguished Dissertation Competition, it was announced today (Monday 20 April 2020).

The winner was Matthew Dale, of  the University of York, won the competition for his PhD, Reservoir Computing in Materio

This academic award is run jointly by BCS, The Chartered Institute for IT, in collaboration with the Council of Professors and Heads of Computing. It aims to recognise, and raise the visibility of, the research contributions to computer science made by postgraduate students.

To be named as an award recipient in this competition is quite an achievement as the winners are selected from a pool of all the PhD computing science theses in the UK. 

Wenda was highly commended for his dissertation Towards Justifying Computer Algebra Algorithms in Isabelle/HOL. He completed his PhD here in the Programming, Logic, and Semantics Group here, under the supervision of Prof. Lawrence C. Paulson.

Guy was highly commended for his dissertation on Functional Distributional Semantics: Learning Linguistically Informed Representations from a Precisely Annotated Corpus. He completed his PhD here in the Natural Language and Information Processing research group under the supervision of Professor Ann Copestake, our Head of Department.

We warmly congratulate Wenda and Guy on their achievement.

Guy is now pursuing his research interests in Functional Distributional Semantics as a Research Fellow at Gonville & Caius College. See his webpage for more details:

Published by Rachel Gardner on Monday 20th April 2020