Louise A. Dennis
Louise A. Dennis is a Lecturer in Computer Science at the University of Liverpool. Her research falls at the intersection of Artificial Intelligence and Computational Proof with a particular emphasis on the design of verifiable autonomous systems and ethical machine reasoning. She is a member of the Embedding Values into Autonomous Intelligent Systems Committee of the IEEE Global Initiative for Ethical Considerations in Artificial Intelligence and Autonomous Systems and the Working Group for the IEEE p7001 Transparency of Autonomous Systems. She has a PhD in Artificial Intelligence from the University of Edinburgh.