Department of Computer Science
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/
Department of Mechanical Engineering
Research interests
Research interests:
Research Interests:
Department of Architecture and Civil Engineering
Department for Health
Department of Economics