Professor Brian Logan

Professor Brian Logan
Professor Brian Logan
Professor Brian Logan

Chair in Computing Science

Accepting PhDs

About

Biography

My research interests span the specification, design and implementation of autonomous intelligent systems. A key theme of this work is `safe AI', specifically ensuring that autonomous intelligent systems function safely and in accordance with their design objectives. The current focus of my research is ensuring the safe behaviour of autonomous systems that adapt or learn at run time.

I have also worked on a wide range of artificial intelligence research problems, including belief revision, reasoning, search and in agent-based simulation.

Memberships and Affiliations

Internal Memberships

Core Research Lead Computing Science

External Memberships

I am a Visiting Associate Professor at Utrecht University. I also have an honorary position (Special Professor) at the University of Nottingham.

Latest Publications

View My Publications

Research

Research Overview

My research interests span the specification, design and implementation of autonomous intelligent systems. A key theme of this work is `safe AI', specifically ensuring that autonomous intelligent systems function safely and in accordance with their design objectives. The current focus of my research is ensuring the safe behaviour of autonomous systems that adapt or learn at run time.

I have also worked on a wide range of artificial intelligence research problems, including belief revision, reasoning, search and agent-based simulation.

Research Areas

Accepting PhDs

I am currently accepting PhDs in Computing Science.


Please get in touch if you would like to discuss your research ideas further.

Email Me

Computing Science

Supervising
Accepting PhDs

Research Specialisms

  • Artificial Intelligence
  • Computer Science

Our research specialisms are based on the Higher Education Classification of Subjects (HECoS) which is HESA open data, published under the Creative Commons Attribution 4.0 International licence.

Supervision

My current supervision areas are: Computing Science.

Current PhD students

  • Jan de Mooij (Utrecht University)
  • Giovanni Varricchione (Utrecht University)

Previous PhD students

  • Elizabeth Gordon Real-time Agent Architectures for Believable Worlds (graduated 2005)
  • Mike Lees Adaptive Optmistic Simulation of Agent Based Systems (graduated 2006)
  • Dan Fielding Agents Reporting from Collaborative Virtual Environments (co-supervised with Steve Benford, graduated 2007)
  • Mark Jago Logics for Resource Bounded Agents (co-supervised with Natasha Alechina, graduated 2006)
  • Neil Madden Multi-agent reporting on events in persistent virtual environments (graduated 2009)
  • Nguyen Hoang Nga Reasoning about resource-bounded multi-agent systems (first supervisor Natasha Alechina, graduated 2011)
  • Abdur Rakib Verifying requirements for resource-bounded agents (graduated 2011)
  • Konstantin Vikhorev Real-time guarantees in high-level agent programming languages (graduated 2011)
  • Trang Doan Thu Procedural reflection in agent prgramming languages (graduated 2014)
  • Julian Zappala Agent-based models of group decsion making (graduated 2014)
  • Hai Nguyen Belief revision for ontologies (first supervisor Natasha Alechina, graduated 2014)
  • Liu Xiaofan Analysis and verification of business rules (first supervisor Natasha Alechina, graduated 2015)
  • Daniela Dybalova Autonomy and context in human-agent collectives (graduated 2017)
  • Yuan Yao Tractable deliberation in agent programming languages (graduated 2018)
  • Sam Leask GROVE: A computationally bounded model for rational intention revision in BDI agents (graduated 2021)
  • Kwabena Amponsah A framework for evaluating the impact of communication on performance in large-scale distributed urban simulations (graduated 2021)
  • Salim Anas Monotonicity-Aware Bandit Algorithms: Enhancing Multi-Armed and Continuum-Armed Bandits with Structural Reward Information (graduated 2025)

Funding and Grants

Recent projects

  • Normative cooperation among autonomous agents, ONRG/EOARD/DSTL
  • CAUSES: Causality in multi-agent systems; learning and verification, Netherlands NWO
  • Safe Correct-by-Construction Control Programs for FUSION reactor maintenance, EPSRC/RAIN feasibility study
  • Elastic Manufacturing Systems --- a platform for dynamic, resilient and cost-effective manufacturing services, EPSRC EP/T024429/1
  • DiManD: Digital Manufacturing and Design Training Network, Marie Sklodowska-Curie Innovative Training Network, EU
Teaching

Teaching Responsibilities

In the 2025-2026 academic session, I am teaching:

  • CS2522 Algorithms and Data Structures
  • CS4543 Languages and Computability

In the past, I have also taught:

  • CS2513 Mathematics for Computing Science

Non-course Teaching Responsibilities

I am a member of the steering committee of the European Summer School on Artificial Intelligence (ESSAI), and was PC chair for ESSAI 2024.

Publications

Page 1 of 1 Results 1 to 29 of 29

Refine

Chapters in Books, Reports and Conference Proceedings

Contributions to Conferences

Contributions to Journals