You can't “test quality into” a software product, but neither can you build a quality software product without test and analysis.  Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in...

Whilst the vast majority of headaches are minor ailments, some patients develop chronic symptoms that have psychiatric dimensions. These symptoms can be immensely challenging to manage and can have a serious impact on the patient's quality of life. The relationship between headache and psychiatric disease is often rationalized as cause...

Algebraic geometry has found fascinating applications to coding theory and cryptography in the last few decades. This book aims to provide the necessary theoretical background for reading the contemporary literature on these applications. An aspect that we emphasize, as it is very useful for the applications, is the interplay between...

Game playing is a powerful metaphor that fits many situations where interaction between autonomous agents plays a central role. Numerous tasks in computer science, such as design, synthesis, verification, testing, query evaluation, planning, etc. can be formulated in game-theoretic terms. Viewing them abstractly as games reveals the...