Personal profile
Research interests
My research interests include verification for robotics and autonomous systems, specification and verification of systems and theorem-proving for temporal and modal logics. In particular, I am interested in developing and applying tools and techniques that ensure systems satisfy their requirements. I have worked with robot designers and engineers applying formal verification to their systems using logics and tools such as model
checkers and theorem provers.
Overview
Clare Dixon is a Professor of Computer Science in the Department of Computer Science at the University of Manchester. She leads the Autonomy and Verification research group. Prior to joining Manchester she was a Professor of Computer Science in the Department of Computer Science at the University of Liverpool, working as an academic at Liverpool from 2001-2020. She was a Senior Research Fellow and Postdoctoral Researcher in the Department of Computing and Mathematics at Manchester Metropolitan University 1995-2000.
External positions
Honorary Professor, University of Liverpool
2020 → 2023
Areas of expertise
- QA75 Electronic computers. Computer science
Keywords
- Verification, Automated Reasoning, Logics, Artificiial Intelligence, Reliable Autonomy and Robotics
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 6 Clean Water and Sanitation -
SDG 9 Industry, Innovation, and Infrastructure -
SDG 11 Sustainable Cities and Communities
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Security-Minded Modelling and Verification of Autonomous Satellite Docking⋆
Hussain, J., Dennis, L. A., Dixon, C. & Farrell, M., 23 Mar 2026, (Accepted/In press) International Conference on Rigorous State Based Methods.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Monodic fragments of probabilistic first-order temporal logic with bounded semantics
Kourtis, G., Dixon, C. & Fisher, M., 28 Aug 2025, In: Theoretical Computer Science. 1046, 115319.Research output: Contribution to journal › Article › peer-review
Open AccessFile35 Downloads (Pure) -
Reliable Robot Missions in Dynamic Environments Using Agent-based Controllers
Limarga, R., Tse, K. W., Dennis, L., Dixon, C., Faruq, F. & Fisher, M., 29 May 2025, Reliable Robot Missions in Dynamic Environments Using Agent-based Controllers.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile4 Downloads (Pure) -
Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE
Ghaffari Saadat, M., Dixon, C. & Fisher, M., 6 Jun 2025, (E-pub ahead of print) In: Formal Aspects of Computing. 37, 4, 111.Research output: Contribution to journal › Article › peer-review
Open Access -
Model Construction for Modal Clauses
Hustadt, U., Papacchini, F., Nalon, C. & Dixon, C., 2 Jul 2024, International Joint Conference on Automated Reasoning 2024. Springer Nature, p. 3-23 (Automated Reasoning; vol. 14740).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access
-
CRADLE: CRADLE - Centre for Robotic Autonomy in Demanding and Long-lasting Environments
Fisher, M. (PI), Adorno, B. (CoI), Cangelosi, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Groves, K. (CoI), Lennox, B. (CoI), Watson, S. (CoI), Weightman, A. (CoI), Farrell, M. (CoI), Marinho, M. (CoI), Ladosz, P. (CoI), Wood, K. (CoI), Collins, E. (CoI), Smith, K. (CoI), Parslew, B. (CoI), Li, Z. (CoI) & Clinch, S. (CoI)
1/09/23 → 31/08/28
Project: Research
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A. (PI), Lennox, B. (PI), Weightman, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Fisher, M. (CoI), Herrmann, G. (CoI), Dickson, A. (CoI), Lanzon, A. (CoI), Stancu, A. (CoI), Miller, A. (CoI), Freitas, A. (CoI), Nini, A. (CoI), Voronkov, A. (CoI), Brass, A. (CoI), Vijayaraghavan, A. (CoI), Parslew, B. (CoI), crowther, W. (CoI), Grieve, B. (CoI), Adorno, B. (CoI), Jay, C. (CoI), Wang, C. C. L. (CoI), Todd, C. (CoI), Soutis, C. (CoI), Arsene, C. (CoI), Dresner, D. (CoI), Barrett, E. (CoI), Gowen, E. (CoI), Arvin, F. (CoI), Podd, F. (CoI), Brown, G. (CoI), Reger, G. (CoI), Cooper, G. (CoI), Mairs, H. (CoI), Yin, H. (CoI), Kinloch, I. (CoI), Eleftheriou, I. (CoI), Li, J. (CoI), Carrasco Gomez, J. (CoI), Ainsworth, J. (CoI), Sinha, J. (CoI), Ozanyan, K. (CoI), Smith, K. (CoI), Twomey, K. (CoI), Margetts, L. (CoI), Ren, L. (CoI), Zhang, L. (CoI), Cordeiro, L. (CoI), Rattray, M. (PI), Bissett, M. (CoI), Elliot, M. (CoI), Alvarez, M. (CoI), Luján, M. (CoI), Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M. (CoI), Peek, N. (CoI), Marjanovic, O. (CoI), Dorn, O. (CoI), Dudek, P. (CoI), Green, P. (CoI), Connolly, P. (CoI), Da Silva Bartolo, P. J. (CoI), Gardner, P. (CoI), Martin, P. (CoI), Potluri, P. (CoI), Curtis, R. (CoI), Schmidt, R. (CoI), Banach, R. (CoI), Batista-Navarro, R. T. (CoI), Kaski, S. (CoI), Midson, S. (CoI), Watson, S. (CoI), Holm, S. (CoI), Furber, S. (CoI), Schlegel, V. (CoI), Mirihanage, W. (CoI), Mansell, W. (CoI), Pan, W. (CoI), Sampson, B. (CoI), Sellers, W. (CoI), Yang, W. (CoI), Cai, P. (CoI), Sun, Y. (CoI), Alharthi, A. (Researcher), Macario Rojas, A. (Researcher), Serhan, B. (Researcher), Yu, C. (Researcher), Abara, D. (Researcher), Lopez Pulgarin, E. (Researcher), Faruq, F. (Researcher), Tavella, F. (Researcher), Semeraro, F. (Researcher), Liu, G. (Researcher), Fang, G. (Researcher), Niu, H. (Researcher), Taylor, H. (PI), Zhu, H. (PGR student), Collenette, J. (Researcher), Amano, K. (Researcher), Lo, K. C. J. (PGR student), Raggioli, L. (Researcher), Romeo, M. (Researcher), Ruocco, M. (PGR student), Ghaffari Saadat, M. (Researcher), Walmsley, M. (Researcher), Mubarik, A. (Researcher), Vinanzi, S. (Researcher), Su, Y.-H. (PGR student), McAleese, H. (PGR student), Stringer, P. (PGR student), Stoican, R. (PGR student), Ye, R. (PGR student), Kurawa, S. S. (PGR student), Zhang, T. (PGR student), Krywonos, W. (PGR student), Xu, Y. (PGR student), Tian, Y. (PGR student), Henderson, A. (Technical team), Morley, D. (Support team), Tallentire, J. (Support team), Smith, J. (Support team), Hawthornthwaite, S. (Support team), Carlson, J. (Support team) & Baniqued, P. D. (Researcher)
Project: Research
-
FAIR-SPACE: Future AI and Robotics Hub for Space (FAIR-SPACE)
Fisher, M. (PI), Dennis, L. (CoI) & Dixon, C. (CoI)
13/07/20 → 31/03/22
Project: Research
-
S4: Science of Sensor System Software
Fisher, M. (PI) & Dixon, C. (CoI)
12/07/20 → 31/12/21
Project: Research
Prizes
-
Best Paper Award
Gainer, P. (Recipient), Linker, S. (Recipient), Dixon, C. (Recipient), Hustadt, U. (Recipient) & Fisher, M. (Recipient), Nov 2018
Prize: Prize (including medals and awards)
-
Invitation to Sister Conference Best Paper Track
Nalon, C. (Recipient), Hustadt, U. (Recipient) & Dixon, C. (Recipient), Aug 2017
Prize: Other distinction
-
Springer Best Paper Award
Dixon, C. (Recipient), Webster, M. P. (Recipient), Saunders, J. (Recipient), Fisher, M. (Recipient) & Dautenhahn, K. (Recipient), 2014
Prize: Prize (including medals and awards)
Impacts
-
Centre for Robotic Autonomy in Demanding and Long Lasting Environments (CRADLE)
Baniqued, P. D. (Participant), Lennox, B. (Participant), Fisher, M. (Participant), Watson, S. (Participant), Flint, S. (Participant), Khan, D. (Participant), Tse, K. W. (Participant), Adorno, B. (Participant), Groves, K. (Participant), Atia, M. (Participant), Leslie-Dalley, S. (Participant), Dennis, L. (Participant), Zheng, S. (Participant), Limarga, R. (Participant), Farrell, M. (Collaborator), Cangelosi, A. (Participant), Dixon, C. (Participant), Collins, E. (Collaborator), Tavella, F. (Participant), Bolarinwa, J. (Participant), Chi, X. (Participant), Rolph, M. (Participant), Abeywickrama, D. (Participant), Rafiq, Y. (Participant), Bishop, C. (Participant), Wheelhouse, L. (Participant), Morley, A. (Participant), Bettles, J. (Participant), Soboyejo, T. (Participant), Weightman, A. (Collaborator), Marinho, M. (Collaborator), Ladosz, P. (Collaborator) & Smith, K. (Collaborator)
Impact: Economic, Environmental, Policy