Anas Shrinah has a first-class honours BEng in Computer and Automation Engineering. He spent two years working on different automation projects in industry, followed by five years working as 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. Currently, he is a PhD student in the Trustworthy Systems Laboratory at the University of Bristol. Anas’ research is focused on applying verification techniques to planning-based industrial processes, sponsored by Schlumberger Gould Research.