Anas Shrinah is a senior research associate in the verification and validation of Smart Human-Robot Collaboration (HRC) Systems at the Trustworthy Systems Laboratory at the University of Bristol. Anas's research is focused on developing automatic test scenario generation methods and coverage analysis techniques to assess the effectiveness of simulation-based testing of HRC systems.   Anas has a first-class honours BEng in Computer and Automation Engineering. He spent two years working on different automation projects in the industry, followed by five years working as an instrumentation and control engineer for Petrofac in the oil and gas industry. In 2017, Anas was awarded an MSc in Robotics with Distinction from the University of Bristol. Anas's PhD thesis studies the application of verification techniques to planning-based industrial processes, sponsored by Schlumberger Gould Research.