WANT A PROFILE LIKE THIS?
Create my FREE Plan Or learn about other options
Louise Dennis
PeerJ Editor
300 Points

Contributions by role

Editor 300

Contributions by subject area

Autonomous Systems
Real-Time and Embedded Systems
Neural Networks
Algorithms and Analysis of Algorithms
Artificial Intelligence
Theory and Formal Methods
World Wide Web and Web Science

Louise A Dennis

PeerJ Editor

Summary

Louise Dennis is a Reader at the University of Manchester.

Her 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 (also archived at the Theorem Prover Museum); 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.

Agents & Multi-Agent Systems Artificial Intelligence Autonomous Systems Theory & Formal Methods

Editorial Board Member

PeerJ Computer Science

Past or current institution affiliations

The University of Manchester

Work details

Senior Lecturer

University of Manchester
July 2020
Computer Science

Websites

  • Google Scholar

PeerJ Contributions

  • Edited 2

Academic Editor on

July 24, 2024
Real-time path planning for autonomous vehicle off-road driving
Ethery Ramirez-Robles, Oleg Starostenko, Vicente Alarcon-Aquino
https://doi.org/10.7717/peerj-cs.2209
April 18, 2023
A novel evidence combination method based on stochastic approach for link-structure analysis algorithm and Lance-Williams distance
Qi Tang, Jianyu Xiao, Kefeng Wu
https://doi.org/10.7717/peerj-cs.1307