From cc6ea0425eefa8459ac682f4705cb6f9be02c6d6 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 12 Mar 2020 12:32:34 +0000
Subject: [PATCH] Update 2019-10-01-internship.md

---
 _posts/2019-10-01-internship.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/_posts/2019-10-01-internship.md b/_posts/2019-10-01-internship.md
index d0ef5d4..e9b1dbe 100644
--- a/_posts/2019-10-01-internship.md
+++ b/_posts/2019-10-01-internship.md
@@ -2,13 +2,13 @@
 title: Internship at Facebook, Infer Team
 ---
 
-Julian Sutherland has just come back from a 3 months internship with the Facebook's Infer team. 
+Julian Sutherland has just returned from a three months internship with the Facebook's Infer team. 
 
-While at Facebook, worked to develop a static analysis tool for [Infer]( https://fbinfer.com/), 
+While at Facebook, Julian worked to develop a static analysis tool for [Infer]( https://fbinfer.com/), 
 quandryBO, intended to statically find unchecked array accesses tainted by user-provided 
 information. He also worked on extending the capabilities of the current infer 
 buffer overflow analysis, InferBO and dealing with function calls within infer's 
 intermediate representation, SIL. 
 
 [Infer is a static analysis tool]( https://github.com/facebook/infer) for Java, 
-C++, Objective-C, and C which has been [open-sourced in 2015]( https://engineering.fb.com/developer-tools/open-sourcing-facebook-infer-identify-bugs-before-you-ship/).
\ No newline at end of file
+C++, Objective-C, and C which was [open-sourced in 2015]( https://engineering.fb.com/developer-tools/open-sourcing-facebook-infer-identify-bugs-before-you-ship/).
\ No newline at end of file
-- 
GitLab