Scholar
Louise Dennis
Google Scholar ID: 5d8ouI8AAAAJ
Department of Computer Science, University of Manchester
Citations & Impact
Citations
2,805
H-index
26
i10-index
57
Publications
20
Co-authors
62
list available
Publications
Resume (English only)
Academic Achievements
- Programme Chair of the 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026).
- Tutorial Chair of AAMAS 2025.
- Board Member of the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
- Vice Chair of ACM SIGAI.
- Supervising multiple PhD students on topics including ROS node verification, reliable software for autonomous robots, security-minded verification, rule-based reasoning in nuclear environments, ethical natural language inference, and uncertainty in machine ethics.
Research Experience
- Developed several automated reasoning and theorem proving tools, including:
- — Agent JPF model checker for BDI agent languages;
- — lambda-clam proof planning system;
- — PROSPER Toolkit integrating interactive theorem prover (HOL) with automated reasoning tools (e.g., SAT solvers) and Case/CAD tools.
- Contributed to the Engineering Autonomous Space Software project, developing verifiable agent architectures for asteroid field exploration.
- Involved in the Centre for Robotic Autonomy in Demanding and Long Lasting Environments (CRADLE, 2023–2028).
- Member of the Autonomy and Verification Group (Manchester) and the Autonomous and Verification Network.
