Extreme Reasoning

Lead Research Organisation: Queen Mary, University of London
Department Name: Sch of Electronic Eng & Computer Science

Abstract

Queen Mary is a world-leading centre for research on logical methods for reasoning about computer systems. Our work has spearheaded several developments -- separation logic, logic for continuous systems, information theory for security, process types for web services -- in which novel theoretical developments by us have been brought to bear in new application areas. The purpose of this platform grant is to provide us with continuity support as we pursue the strategic development of our research. It will also be used for risky, adventurous pilot projects that could lead on to wholly new lines of research, and feasibility studies that will possibly lead on to further industrial applications of mathematical logic.

Publications

10 25 50
publication icon
Arthan R (2009) A general framework for sound and complete Floyd-Hoare logics in ACM Transactions on Computational Logic