University of Bath: PhD Position in Logic for Decision Making in Security

This PhD project will develop the theory and applications of this Compliance Budget Logic. The basic theory of the logic will be developed, followed by its application to security decision-making. For example, we may study how the interaction of multiple security policies and multiple budgets (e.g. users’ own time, laptop battery life, etc) may be described and analysed via our logic. Some of this work will be carried out in collaboration with leading security researchers at University College London.

Main supervisor: Professor Guy McCusker, University of Bath. Second supervisor: Professor David Pym, University College London.
Anticipated start date: 2 October 2017.