Colin Fidge

Papers

Total Citations

H-Index

About

Colin Fidge is a leading researcher in cybersecurity and safety-critical systems, with a particular focus on autonomous mobile robots (AMRs) and formal methods for verifying real-time and concurrent software. His work addresses the pressing challenge of securing AMRs—machines that combine mobility, adaptability, and obstacle avoidance—against malicious attacks in unpredictable environments. In his highly cited 2024 paper, Fidge systematically analyzes attack intensity on AMRs, providing a foundational framework for classifying and mitigating threats in non-deterministic operational settings. This contribution is vital for ensuring the safe deployment of autonomous systems in logistics, healthcare, and defense. With over 7 citations already, this work underscores Fidge’s ability to bridge theoretical analysis with practical security concerns. Beyond this, his broader research portfolio includes pioneering contributions to formal verification of real-time systems, particularly through the development of timed automata and process algebra for safety-critical applications. Fidge’s work has been instrumental in shaping how engineers design and certify dependable embedded systems, earning him recognition as a key figure in both the cybersecurity and formal methods communities.