Update 2019-10-01-internship.md

_posts/2019-10-01-internship.md

@@ -2,12 +2,12 @@
 title: Internship at Facebook, Infer Team
 ---
 
-Julian Sutherland spent 3 months interning with the Facebook's infer team. 
+Julian Sutherland has just come back from a 3 months internship with the Facebook's Infer team. 
 
-He worked to develop a static analysis tool for [Infer]( https://fbinfer.com/), 
+While at Facebook, 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 
+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,