Professor Brian Logan

About

Email Addressbrian.logan@abdn.ac.ukSchool/DepartmentSchool of Natural and Computing Sciences Personal Website 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 Pr

Selected publications

• Open-World Verification: A Grand Challenge for Autonomous Systems 2026 - PublishedLeahy, K., Asgari, H., Dennis, L. A., Feather, M. S., Fisher, M., Ibanez-Guzman, J., Logan, B., I. Olszewska, J., Redfield, S. Proceedings of the IEEE, vol. 113, no. 11, pp. 1241 - 1250Contributions to Journals: Articles[ONLINE] DOI: https://doi.org/10.1109/JPROC.2026.3659717[OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/99bdd75c-f464-4202-a522-ef51948dbde8/download[ONLINE] View publication in Scopus
• [ONLINE] DOI: https://doi.org/10.1109/JPROC.2026.3659717
• [OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/99bdd75c-f464-4202-a522-ef51948dbde8/download
• [ONLINE] View publication in Scopus
• Towards AI-Sympathy Using Agents 2026 - Accepted/In pressRodriguez, S., Logan, B., Thangarajah, J. Contributions to Conferences: Oral Presentations
• Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning 2026 - PublishedVarricchione, G., Alechina, N., Dastani, M., Logan, B. Journal of Artificial Intelligence Research, vol. 85, 38Contributions to Journals: Articles[ONLINE] DOI: https://doi.org/10.1613/jair.1.20151[OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/268a56f8-71e1-4a5d-a431-13c89d04a286/download
• [ONLINE] DOI: https://doi.org/10.1613/jair.1.20151
• [OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/268a56f8-71e1-4a5d-a431-13c89d04a286/download
• Pushdown reward machines for reinforcement learning 2025 - PublishedVarricchione, G., Klassen, T. Q., Alechina, N., Dastani, M., Logan, B., McIlraith, S. A. Chapters in Books, Reports and Conference Proceedings: Conference Proceedings[ONLINE] DOI: https://doi.org/10.24963/kr.2025/55[OPEN ACCESS] https://aura.abdn.ac.uk/bitstreams/534a99de-da83-40e0-ba7e-4ab9fb5581ed/download
• [ONLINE] DOI: https://doi.org/10.24963/kr.2025/55