title:Internship at Amazon Web Services, Gabi Sampaio
---
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)](https://www.amazon.science/latest-news/how-awss-automated-reasoning-group-helps-make-aws-and-other-amazon-products-more-secure)
which creates and implements automated reasoning tools to secure AWS’s
own infrastructure and services, as well as those of its customers.
