Dr Louise Dennis
Senior Lecturer
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 Networks and Beacons
Related information
Publications
Research output: Contribution to journal › Article › peer-review
Research output: Book/Report › Other report
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Activities
Activity: Participating in or organising event(s) › Organising a conference, workshop, exhibition, performance, inquiry, course etc
Activity: Talk or presentation › Invited talk
Activity: Talk or presentation › Invited talk