معرفی
Dr. Louise Dennis is an Associate Professor at the University of Manchester's Department of Computer Science, specializing in artificial intelligence, autonomous systems, and formal verification. Her work focuses on developing verifiable systems, ethical reasoning in AI, and agent-based architectures. She contributes to the Centre for Digital Trust and Society and the Centre for Robotics and Artificial Intelligence, advancing research in safety-critical systems and human-AI collaboration.
Her research interests span formal verification of autonomous systems, machine ethics, and agent programming languages. Notable projects include work on BDI agent models, ROS-based robotics verification frameworks, and ethical decision-making modules for space and nuclear systems. She actively participates in interdisciplinary initiatives addressing future computing risks and AI transparency.
Key contributions include developing verification tools like Agent JPF and the PROSPER Toolkit, as well as pioneering ethical reasoning frameworks for autonomous robots. Recent work emphasizes explainability in safety-critical contexts and assurance case methodologies for robotic systems.
Dr. Dennis collaborates internationally on standards for transparent autonomous systems (e.g., IEEE P7001) and advises on critical infrastructure resilience. She has delivered invited talks on machine ethics and verification, and her research spans robotics, cybersecurity, and space exploration applications.
