Home
Louise Dennis
Louise Dennis is now at
Manchester
.
Research Groups, Centres and Labs
Centre for Autonomous Systems Technology
Virtual Engineering Centre
Robotics and Autonomous Systems Group (Liverpool)
Verification Group (Liverpool)
Research Projects
Robotics and AI for Nuclear
(2018-2021)
Future AI and Robotics for Space
(2018-2021)
Verifiable Autonomy
(2014-2018)
Reconfigurable Autonomy
(2012-2014)
Engineering Autonomous Space Software
(2008-2012)
Model Checking Agent Programming Languages
(2006-2008)