People

Principal Investigators

Prof Dave Cliff, University of Bristol.

Prof Justin Keen, University of Leeds.

Prof Marta Kwiatkowska, University of Oxford.

Dr Gerald Luettgen, University of York.

Prof John McDermid, University of York.

Prof Ian Sommerville, University of St Andrews.

Project Administrators

Mrs Clare Williams, University of Bristol.

Mrs Dawn Ford, University of York.

Associate Faculty

Dr Kerstin Eder, University of Bristol.

Dr Ayalvadi Ganesh, University of Bristol.

Dr Tim Kelly, University of York.

Dr James Marshall, University of Bristol.

Prof Richard Paige, University of York.

Researchers

All researchers named below are funded by the main EPSRC LSCITS grant unless otherwise stated.

Dr Gordon Baxter, University of St Andrews.

Dr Radu Calinescu, University of Oxford.

Mr Tom Cassey, University of Bristol (part-funded by HP Labs).

Ms Lu Feng, University of Oxford.

Mr Xiaocheng Ge, University of York.

Mr David Greenwood, University of St Andrews.

Dr Andy Hild, University of Leeds.

Mr Ali Khajeh-Hosseini, University of St Andrews (funded by SICSA).

Mr Adeel Khan, University of Leeds.

Dr Zeshan Kurd, University of York.

Mr Rich Mitchell, University of York.

Mr Chris Musselle, University of Bristol (funded by BCCS).

Dr John Rooksby, University of St Andrews

Mr Ilango Sriram, University of Bristol (funded by HP Labs).

Dr Ashutosh Trivedi, University of Oxford.

Ms Bushra Waheed, University of Leeds.

Additional people are in the process of being hired. Their names will appear here in due course.