Back to advisors
PR

Professor Rob Hierons

Professor · School of Computer Science Regent Court

University of Sheffield · United Kingdom
with a particular focus on robotics

About

Rob Hierons received a BA in Mathematics (Trinity College, Cambridge), and a Ph.D. in Computer Science (Brunel University). He then joined the Department of Mathematical and Computing Sciences at Goldsmiths College, University of London, before returning to Brunel University in 2000.He was promoted to full Professor in 2003 and joined The University of Sheffield in 2018.

Selected publications

  • (2021) Software Engineering for Robotics. Springer International Publishing.
  • Hierons RM & Mosbah M (2019) Preface.
  • Hierons RM, Merayo MG & Bravetti M (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
  • Groz R & Hierons RM (2004) Preface.
  • Rafiq Y, Wang S, Al-Nuaimi M, Mihaylova L, Hierons RM & Dogramadzi S (2026) Vision-based vs. IMU-based upper-limb pose estimation in assisted dressing: a comparative study of positional accuracy and kinematic fidelity. Frontiers in Robotics and AI, 13. View this article in WRRO
  • Hierons RM & Mousavi MR (2026) Complete FSM testing using strong separability. Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, LNCS 16503, 328-349. View this article in WRRO
  • Cavalcanti A & Hierons RM (2026) Reactive model-based testing of cyclic systems. ACM Transactions on Computational Logic. View this article in WRRO
  • Shaw N, Pennada S, Hierons RM & Shin D (2026) A Systematic Mapping Study on the Debugging of Autonomous Driving Systems.. CoRR, abs/2601.04293.
  • Hierons R, Merayo MG & Nunez M (2026) Combining sequential test cases into an equivalent set of adaptive test cases. Journal of Logical and Algebraic Methods in Programming, 148. View this article in WRRO
  • Turker U, Hierons R, Mousavi MR & El-Fakih K (2025) Efficient state identification for finite state machine-based testing. IEEE Transactions on Software Engineering, 51(11), 2996-3012. View this article in WRRO

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.