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 Electronic & Electrical Engineering
Department of Mechanical Engineering
Department of Architecture and Civil Engineering
Department for Health
Department of Economics
Department of Psychology
Department of Physics