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
Arthan R
(2013)
A Hoare logic for linear systems
in Formal Aspects of Computing
Arthan R
(2009)
A general framework for sound and complete Floyd-Hoare logics
in ACM Transactions on Computational Logic
Arthan R
(2008)
A General Framework for Sound and Complete Floyd-Hoare Logics
Masci P
(2013)
Using PVS to support the analysis of distributed cognition systems
in Innovations in Systems and Software Engineering
Masci P
(2013)
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps
in Innovations in Systems and Software Engineering
Rukšenas R
(2009)
Verification-guided modelling of salience and cognitive load
in Formal Aspects of Computing