Dr Louise Dennis

Press Office

[field_telephone_2]
matt.hurst@liverpool.ac.uk

Expert

+44 (0)151 794 2026

Dr Louise Dennis

Centre for Autonomous Simulation Laboratory

Liverpool University

Liverpool, United Kingdom

Dr Louise Dennis works on the programming of autonomous systems, such as driverless cars, to help provide safety guarantees. She studies the patterns of mathematical proof and how computers can use them to prove theorems. Today, she uses AI techniques to prove things about Artificial Intelligence programs, a key tool for guaranteeing the safety of such systems.

Key Subjects

Robots, AI, Automation, Robotics

Languages

English

Press Office

11111111111
pressoffice@press.com

Expert

+44 (0)151 794 2026