Regular biography
Dr. Louise Dennis is a Professor in the Department of Computer Science at the University of Manchester. She is a leading researcher in the field of artificial intelligence, with a particular focus on the verification of autonomous systems and the development of machine ethics. Her work has been widely recognized for its contributions to the safety and reliability of AI systems, as well as its exploration of the ethical implications of autonomous decision-making.
Scholar-generated biography
Louise Dennis is a researcher in the Department of Computer Science at the University of Manchester, focusing on Verification, Model Checking, Autonomous Systems, Agent Programming Languages, and Machine Ethics. Her work explores formal methods for ensuring the correctness and ethical behavior of autonomous systems, including robotic systems and autonomous vehicles. She has contributed to the development of tools like the PROSPER toolkit and Gwendolen, a BDI language for verifiable agents. Her research emphasizes the integration of ethical reasoning into autonomous decision-making processes, aiming for transparency and verifiability in AI systems.