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/
Research interests:
Department of Mechanical Engineering
Research interests
Research Interests:
Department of Architecture and Civil Engineering
Jun’s research concerns the hydrodynamic loadings on urban, coastal and offshore structures and the impact of extreme events on such structures.
Department for Health