Research output per year
Research output per year
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.
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):
Areas of expertise
- QA75 Electronic computers. Computer science
- Formal Verification
- Machine Ethics
- Autonomous Systems
- Agent Programming
Research Beacons, Institutes and Platforms
- Digital Futures
Fingerprint
Dive into the research topics where Louise Dennis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formal Verification of BDI Agents
Wright, T., Dennis, L. A., Woodcock, J. & Foster, S., 23 Oct 2024, The Combined Power of Research, Education, and Dissemination. Springer Cham, p. 302-326 (The Combined Power of Research, Education, and Dissemination; vol. 15240).Research output: Chapter in Book/Conference proceeding › Chapter › peer-review
-
Interlinked Computing in 2040: Safety, Truth, Ownership and Accountability
Weir, C. A. F. A., Dyson, A., Jogunola, O., Dennis, L. & Paxton-Fear, K., 3 Jan 2024, In: Computer.Research output: Contribution to journal › Article › peer-review
Open Access -
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
Ghaffari Saadat, M., Ferrando, A., Dennis, L. & Fisher, M., 26 Sept 2024, (Accepted/In press) Sixth International Workshop on Formal Methods for Autonomous Systems.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Specifying Agent Ethics
Dennis, L. A. & Fisher, M., 25 Sept 2024, (Accepted/In press) Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII. Springer LondonResearch output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Specifying Agent Ethics (Blue Sky Ideas)
Dennis, L. A. & Fisher, M., 12 Mar 2024, (Accepted/In press) Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
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), Buil-Gil, 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), Laskowski, 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), 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), Saiani, 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, W. (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
Press/Media
-
The challenges and opportunities for research in the age of automation
3/12/20
1 Media contribution
Press/Media: Expert comment