Clare Dixon
Papers
1
Total Citations
1
H-Index
1
About
Clare Dixon is a distinguished computer scientist whose research sits at the intersection of formal methods, multi-agent systems, and autonomous robotics. She has made significant contributions to the specification and verification of complex, decentralised systems, with particular expertise in applying rigorous logical frameworks to ensure correctness in challenging computational environments. Her work on swarm robotics represents a compelling frontier of this research agenda, demonstrating how formal verification tools such as NuXMV and GROOVE can be employed to validate that individual robot behaviours collectively produce desired swarm-level outcomes — a notoriously difficult problem given the absence of centralised control in such systems. This research addresses a critical safety and reliability challenge as autonomous robotic systems become increasingly deployed in real-world settings. Though her citation record continues to grow, with her swarm verification work already attracting attention since its 2025 publication, Dixon's broader body of work reflects a sustained commitment to bridging theoretical computer science and practical autonomous systems engineering. Her contributions offer essential tools for researchers and engineers grappling with the verification of intelligent, decentralised technologies.
Research Focus
Key Achievements
Top Papers
- 1