Personal profile
Overview
Dr. Dennis' background is in artificial intelligence and more specifically in agent and autonomous systems and automated reasoning. She has worked on the development of several automated reasoning and theorem proving tools, most notably the Agent JPF model checker for BDI agent languages; the lambda-clam proof planning system; and the PROSPER Toolkit for integrating an interactive theorem prover (HOL) with automated reasoning tools (such as SAT solvers) and Case/CAD tools. More recently she has investigated rational agent programming languages and architectures for autonomous systems, with a particular emphasis on verifiable systems and ethical reasoning.
Areas of expertise
- QA75 Electronic computers. Computer science
- Formal Verification
- Machine Ethics
- Autonomous Systems
- Agent Programming
Research Beacons, Institutes and Platforms
- Digital Futures
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 9 Industry, Innovation, and Infrastructure -
SDG 11 Sustainable Cities and Communities -
SDG 12 Responsible Consumption and Production
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025
Rodriguez, S., Bairy, A., Baldoni, M., Benjamin, P., Blessing, C., Brandstetter, N., Chopra, A. K., Clemen, T., Dennis, L. A., Esmaeili, A., Feng, L., Ferrando, A., Ghorrati, Z., Guillet, V., Gürcan, Ö., Hans, S., Herber, J., Mascardi, V., Mauri, M. & Müller, J. P. & 3 others, , 14 Feb 2026, (E-pub ahead of print) Engineering Multi-Agent Systems (EMAS 2025) . Springer Cham, Vol. 16407. p. 238-258 Chapter 14. (Engineering Multi-Agent Systems; vol. 16407).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile -
Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study
Rafiq, Y., Bishop, C., Watson, S., Dennis, L., Wheeler, F., Brotherhood, J., GARRIGA, M. M. & HIERONS, R. M., 5 Jan 2026, (Accepted/In press) International Conference on Formal Methods in Software Engineering.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Open-World Verification: A Grand Challenge for Autonomous Systems
Leahy, K., Asgari, H., Dennis, L., Feather, M. S., Fisher, M., Ibanez-Guzman, J., Logan, B., Olszewska, J. I. & Redfield, S., 23 Jan 2026, (Accepted/In press) In: Proceedings of the IEEE International Conference on Properties and Applications of Dielectric Materials.Research output: Contribution to journal › Article › peer-review
-
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
Abeywickrama, D. B., Fisher, M., Wheeler, F. & Dennis, L., 30 Jan 2025, arXiv, 7 p.Research output: Preprint/Working paper › Preprint
-
Corroborative V&V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance
Abeywickrama, D., Bishop, C., Watson, S., Wheeler, F., Fisher, M. & Dennis, L., 12 Aug 2025, (Accepted/In press) 5th Workshop on Agents and Robots for reliable Engineered Autonomy, 5th October 2025 at ECAI 2025 - Bologna https://areaworkshop.github.io/AREA2025.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
CRADLE: CRADLE - Centre for Robotic Autonomy in Demanding and Long-lasting Environments
Fisher, M. (PI), Adorno, B. (CoI), Cangelosi, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Groves, K. (CoI), Lennox, B. (CoI), Watson, S. (CoI), Weightman, A. (CoI), Farrell, M. (CoI), Marinho, M. (CoI), Ladosz, P. (CoI), Wood, K. (CoI), Collins, E. (CoI), Smith, K. (CoI), Parslew, B. (CoI), Li, Z. (CoI) & Clinch, S. (CoI)
1/09/23 → 31/08/28
Project: Research
-
Centre for Digital Trust and Society
Barrett, E. (PI), Allmendinger, R. (Researcher), Elliot, M. (Researcher), Lord, N. (Researcher), Cordeiro, L. (Researcher), Gibson, R. (Researcher), Papamarkou, T. (Researcher), Dresner, D. (Researcher), Aldridge, J. (Researcher), Duncan, P. (Researcher), Banach, R. (Researcher), Brown, G. (Researcher), Dennis, L. (Researcher), Fisher, M. (Researcher), Korovin, K. (Researcher), Kotselidis, C.-E. (Researcher), Luján, M. (Researcher), Mustafa, M. (Researcher), Olivier, P. (Researcher), Reger, G. (Researcher), Zhang, N. (Researcher), Hodgkinson, G. (Researcher), Gulati, S. (Researcher), Ainsworth, J. (Researcher), Chen, Y.-W. (Researcher), Green, B. (Researcher), Healey, M. (Researcher), Uyarra, E. (Researcher), Zachariadis, M. (Researcher), Little, C. (Researcher), Mackey, E. (Researcher), Nenadic, G. (Researcher), Keane, J. (Researcher), Shlomo, N. (Researcher), Graff, N. (Researcher), Jarwar, M. A. (Researcher), Shariati Samani, S. (Researcher), Smith, D. (Researcher), Kambites, M. (Researcher), Thorpe, M. (Researcher), Rowley, P. (Researcher), Flynn, S. (Researcher), Turner, P. (Researcher), Wainwright, V. (Researcher), Czerwinsky, A. (PGR student), Nini, A. (Researcher), Broad, R. (Researcher), Shute, J. (Researcher), Deakin, J. (Researcher), Saldana-Taboada, P. (PGR student), Knight, P. (Researcher), Hutchings, S. (Researcher), Whyte, J. (Researcher), Tolz-Zilitinkevic, V. (Researcher), Pilkington, H. (Researcher), Guharoy, S. (Researcher), Nicolo, A. (Researcher), Reggiani, C. (Researcher), Garcia Oliva, J. (Researcher), Van Someren, A. (Researcher), Bon, E. (Researcher), Cantijoch Cunill, M. (Researcher), Koch, D. (Researcher) & Chen, Y.-W. (Researcher)
11/05/21 → …
Project: Other
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A. (PI), Lennox, B. (PI), Weightman, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Fisher, M. (CoI), Herrmann, G. (CoI), Dickson, A. (CoI), Lanzon, A. (CoI), Stancu, A. (CoI), Miller, A. (CoI), Freitas, A. (CoI), Nini, A. (CoI), Voronkov, A. (CoI), Brass, A. (CoI), Vijayaraghavan, A. (CoI), Parslew, B. (CoI), crowther, W. (CoI), Grieve, B. (CoI), Adorno, B. (CoI), Jay, C. (CoI), Wang, C. C. L. (CoI), Todd, C. (CoI), Soutis, C. (CoI), Arsene, C. (CoI), Dresner, D. (CoI), Barrett, E. (CoI), Gowen, E. (CoI), Arvin, F. (CoI), Podd, F. (CoI), Brown, G. (CoI), Reger, G. (CoI), Cooper, G. (CoI), Mairs, H. (CoI), Yin, H. (CoI), Kinloch, I. (CoI), Eleftheriou, I. (CoI), Li, J. (CoI), Carrasco Gomez, J. (CoI), Ainsworth, J. (CoI), Sinha, J. (CoI), Ozanyan, K. (CoI), Smith, K. (CoI), Twomey, K. (CoI), Margetts, L. (CoI), Ren, L. (CoI), Zhang, L. (CoI), Cordeiro, L. (CoI), Rattray, M. (PI), Bissett, M. (CoI), Elliot, M. (CoI), Alvarez, M. (CoI), Luján, M. (CoI), Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M. (CoI), Peek, N. (CoI), Marjanovic, O. (CoI), Dorn, O. (CoI), Dudek, P. (CoI), Green, P. (CoI), Connolly, P. (CoI), Da Silva Bartolo, P. J. (CoI), Gardner, P. (CoI), Martin, P. (CoI), Potluri, P. (CoI), Curtis, R. (CoI), Schmidt, R. (CoI), Banach, R. (CoI), Batista-Navarro, R. T. (CoI), Kaski, S. (CoI), Midson, S. (CoI), Watson, S. (CoI), Holm, S. (CoI), Furber, S. (CoI), Schlegel, V. (CoI), Mirihanage, W. (CoI), Mansell, W. (CoI), Pan, W. (CoI), Sampson, B. (CoI), Sellers, W. (CoI), Yang, W. (CoI), Cai, P. (CoI), Sun, Y. (CoI), Alharthi, A. (Researcher), Macario Rojas, A. (Researcher), Serhan, B. (Researcher), Yu, C. (Researcher), Abara, D. (Researcher), Lopez Pulgarin, E. (Researcher), Faruq, F. (Researcher), Tavella, F. (Researcher), Semeraro, F. (Researcher), Liu, G. (Researcher), Fang, G. (Researcher), Niu, H. (Researcher), Taylor, H. (PI), Zhu, H. (PGR student), Collenette, J. (Researcher), Amano, K. (Researcher), Lo, K. C. J. (PGR student), Raggioli, L. (Researcher), Romeo, M. (Researcher), Ruocco, M. (PGR student), Ghaffari Saadat, M. (Researcher), Walmsley, M. (Researcher), Mubarik, A. (Researcher), Vinanzi, S. (Researcher), Su, Y.-H. (PGR student), McAleese, H. (PGR student), Stringer, P. (PGR student), Stoican, R. (PGR student), Ye, R. (PGR student), Kurawa, S. S. (PGR student), Zhang, T. (PGR student), Krywonos, W. (PGR student), Xu, Y. (PGR student), Tian, Y. (PGR student), Henderson, A. (Technical team), Morley, D. (Support team), Tallentire, J. (Support team), Smith, J. (Support team), Hawthornthwaite, S. (Support team), Carlson, J. (Support team) & Baniqued, P. D. (Researcher)
Project: Research
-
FAIR-SPACE: Future AI and Robotics Hub for Space (FAIR-SPACE)
Fisher, M. (PI), Dennis, L. (CoI) & Dixon, C. (CoI)
13/07/20 → 31/03/22
Project: Research
Activities
-
Verifying Autonomous Systems
Dennis, L. (Speaker)
7 Jun 2022Activity: Talk or presentation › Invited talk › Research
-
Verifying Machine Ethics
Dennis, L. (Speaker)
3 May 2021Activity: Talk or presentation › Invited talk › Research
-
IJCAI-PRICAI 2020 Tutorial on Machine Ethics
Slavkovik, M. (Co-Organiser) & Dennis, L. (Co-Organiser)
7 Jan 2021Activity: Participating in or organising event(s) › Organising a conference, workshop, exhibition, performance, inquiry, course etc › Research
-
Verifying Machine Ethics
Dennis, L. (Speaker)
7 Dec 2020Activity: Talk or presentation › Invited talk › Research
-
The Bluffer's Guide to Symbolic AI
Dennis, L. (Speaker)
2 Sept 2020Activity: Talk or presentation › Invited talk › Research
Impacts
-
Centre for Robotic Autonomy in Demanding and Long Lasting Environments (CRADLE)
Baniqued, P. D. (Participant), Lennox, B. (Participant), Fisher, M. (Participant), Watson, S. (Participant), Flint, S. (Participant), Khan, D. (Participant), Tse, K. W. (Participant), Adorno, B. (Participant), Groves, K. (Participant), Atia, M. (Participant), Leslie-Dalley, S. (Participant), Dennis, L. (Participant), Zheng, S. (Participant), Limarga, R. (Participant), Farrell, M. (Collaborator), Cangelosi, A. (Participant), Dixon, C. (Participant), Collins, E. (Collaborator), Tavella, F. (Participant), Bolarinwa, J. (Participant), Chi, X. (Participant), Rolph, M. (Participant), Abeywickrama, D. (Participant), Rafiq, Y. (Participant), Bishop, C. (Participant), Wheelhouse, L. (Participant), Morley, A. (Participant), Bettles, J. (Participant), Soboyejo, T. (Participant), Weightman, A. (Collaborator), Marinho, M. (Collaborator), Ladosz, P. (Collaborator) & Smith, K. (Collaborator)
Impact: Economic, Environmental, Policy
Press/Media
-
The challenges and opportunities for research in the age of automation
3/12/20
1 Media contribution
Press/Media: Expert comment