Dr Louise Dennis works at the University of Liverpool on the programming and analysis of autonomous systems. She studied Mathematics and Philosophy as an undergraduate at Oxford where she became fascinated by logic. This led her to Computer Science and she got a PhD in Artificial Intelligence from Edinburgh, looking at patterns of mathematical proof and how computers can use them to prove theorems. These days she uses Artificial Intelligence techniques to prove things about Artificial Intelligence programs, which may seem circular, but which she is convinced is a key tool for providing assurances about the behaviour of autonomous sytems. Her most recent interest takes her back to her undergraduate philosophy, trying to work out what it means for a computer to make a decision ethically and how we might guarantee that an Artificial Intelligence will act in ways that respect our values.