Output details
11 - Computer Science and Informatics
University of Birmingham
Clipping: A Semantics-Directed Syntactic Approximation
<10>LICS is the leading international conference in theoretical computer science (logic and semantics). This paper belongs in a long and productive line of research which established me as an international leader in software verification using game semantics. It has contributed to me being an invited speaker at LICS’09 (another invited speaker was Ed Clarke) and programme committee member for LICS’10. The importance of games-based software verification, to which this paper contributed, was further recognized by the award of the EPSRC grant “UBIVAL: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures” (2010, £455k) on which I was a co-investigator.