Research Groups
- Logic and
Computation (Liverpool)
- Mathematical Reasoning
Group (Edinburgh)
Research Projects
- Reconfigurable Autonomy (2012-2016)
- Engineering Autonomous Space Software (2008-2012)
- Model Checking Agent Programming Languages (2006-2008)
- Address
- Louise Dennis
Department of Computer Science
Room 117
Ashton Building
University of Liverpool