Welcome back to Gabi Sampaio, who has just returned from a three-month internship (albeit remotely) with the Prime Video Automated Reasoning team at Amazon Web Services in London.

The Prime Video team is part of their Automated Reasoning Group (ARG) which creates and implements automated reasoning tools to secure AWS’s own infrastructure and services, as well as those of its customers.