From a8323274fee605bd1180c69ffdd7c41cbe2cfce0 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 13 Jan 2021 09:55:18 +0000
Subject: [PATCH] Add new file

---
 _posts/2021-01-12-gabi-intership.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 _posts/2021-01-12-gabi-intership.md

diff --git a/_posts/2021-01-12-gabi-intership.md b/_posts/2021-01-12-gabi-intership.md
new file mode 100644
index 0000000..36c543f
--- /dev/null
+++ b/_posts/2021-01-12-gabi-intership.md
@@ -0,0 +1,11 @@
+---
+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.
-- 
GitLab