Holly Hendry
Research Student

Interests

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

Qualifications

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

Career

• (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