Accessibility statement

Holly Hendry
Research Student


My research interests include:

  • The formal verification of human-robot interaction
  • Developing tools to enable formal verification of human-robot-interaction
  • Design and verification methods used in Industry for human-robot interaction
  • How human behaviours are considered as part of the design process
  • How human behaviour impacts the operation and successful execution of mobile and autonomous robotic systems

Find me on LinkedIn, or take a look at the RoboStar research site for updates on my research


MEng Computer Science with a Year in Industry, University of York, UK


  • (Feb 2022 - Present) Graduate Teaching Assistant for Software 1, Software 2 and Theory 2
  • (Oct 2021 - Present) PhD Research Student, Department of Computer Science, University of York
  • (Dec 2019 - Aug 2021) Software Development Engineer II, Amazon
  • (Oct 2018 - Dec 2019) Software Development Engineer, Amazon
  • (Jul 2015 - Jul 2016) Software Engineering Intern, Sophos


Contact details

Department of Computer Science
University of York
Deramore Lane
YO10 5GH

Phone: +44 (0)1904 325500

Office: CSE/011-5