Dr Julian Padget

Julian’s main research focus is the use of formal approaches to validation and verification with computational logic-based models. Application domains include legal reasoning, checking and monitoring security policies, investigating interactions between policies and their automatic revision (inductive logic programming), gaming, virtual and mixed environments and agent-based modelling.

University of Bath Research Portal: 

https://researchportal.bath.ac.uk/en/persons/julian-padget/