Computer Science News
New collaborative project on parity games
and from 91¸£Àû's DIMAP inter-disciplinary centre and the Computer Science department, jointly with , and from the University of Liverpool, will lead a new research project on solving in theory and practice, to run 2017-2020.
The project will be supported by approx. £750K from the EPSRC across the two sites. The proposal was ranked top at its funding prioritisation panel, and the reviewers said:
This is the strongest and best designed proposal on theoretical computer science I have seen in the last five years.
as well as
The proposal is about fundamental research, but there is a clear path connecting the expected results to concrete industrial needs on program verification and program synthesis.
Professor Artur Czumaj, head of and of the research division, commented:
This exciting new EPSRC project builds on excellence in theoretical computer science for which 91¸£Àû is internationally renowned. It strengthens our collaborative links with Computer Science at Liverpool, who were likewise one of the leading departments for research outputs in the most recent REF.