Dr Nathan Griffiths has been awarded a new EPSRC grant titled “JASPR: Justified Assessments of Service Provider Reputation”, which is to run jointly with KCL. JASPR aims to improve the way that services are discovered, selected and used by providing rich, personalised reputation assessments of services with the rationale behind those assessments. It is particularly targeted at giving small and medium-sized enterprises (SMEs) better exposure to large clients by reducing clients' reliance on extensive market histories or opaque online reviews that do not account for personalised needs.

Dr Ranko Lazic and Dr Marcin Jurdzinski have been awarded a research grant from the EPSRC for the next 2.5 years, entitled 'Counter Automata: Verification and Synthesis'. They will collaborate with Prof. James Worrell and Prof. Joel Ouaknine of the University of Oxford, to develop new automated procedures for analysing counter automata that will ultimately aid the design, modelling, verification, and analysis of complex computer systems. Commenting on the project, Dr Christoph Wintersteiger from Microsoft Research Ltd wrote that it 'has potential to significantly influence the next generation of Satisfiability Modulo Theories solvers [...] that in leading software industry today, are at the core of many advanced program analysis, testing and model-based development tools'.

EPSRC have recently funded a Warwick/York/Imperial £1M CCP Flagship project on "A radiation-hydrodynamics code for the UK laser-plasma community”. This project aims to provide large-scale software development for internationally leading computational science in laser plasma physics. This comes on the back of the new Centre for Computational Plasma Physics established by Prof Arber (Physics) and Prof Jarvis (Computer Science). This EPSRC project will fund a postdoc in the High Performance Computing Group for three years.