Potential PhD: I am currently offering a funded PhD place in Assurance of Machine Learning Enabled Systems. Please email me if you are interested or apply.

Louise Dennis is a lecturer in the Autonomy and Verification Laboratory at the University of Liverpool. She is attached to the Centre for Autonomous Systems Technology (CAST) at the University of Liverpool.

Her background is in artificial intelligence and more specifically in agent and autonomous systems and automated reasoning. She has worked on the development of several automated reasoning and theorem proving tools, most notably the Agent JPF model checker for BDI agent languages; the lambda-clam proof planning system; and the PROSPER Toolkit for integrating an interactive theorem prover (HOL) with automated reasoning tools (such as SAT solvers) and Case/CAD tools. More recently she has investigated rational agent programming languages and architectures for autonomous systems, with a particular emphasis on creating verifiable systems.

Screenshot of satellites cooperatively exploring an asteroid field
Two satellites cooperate to explore an asteroid field, using a verifiable agent architecture for decision-making. An output from the Engineering Autonomous Space Software project.

Address
Louise Dennis
Department of Computer Science
Room G22
Ashton Building
University of Liverpool

L.A.Dennis@liverpool.ac.uk