diff --git a/_posts/2021-05-12-sampaio.md b/_posts/2021-05-12-sampaio.md index 90fcd443aec45edbc4ba9c0817746cbd60e813c7..a8eb7dbf5c686cd25377391dc7446801cd25a7b1 100644 --- a/_posts/2021-05-12-sampaio.md +++ b/_posts/2021-05-12-sampaio.md @@ -2,6 +2,6 @@ title: Gabriela Sampaio, internship with the Static Analysis Tools team at Facebook London --- -We are very happy to welcome back Gabriela Sampaio, who has just returned from the second leg of her internships, this time having just finished a three month stay with the Static Analysis Tools team at Facebook London. +Welcome (again) to Gabriela who has returned from her second industry internship, this time a three-months placement with the Static Analysis Tools team at Facebook London. -The team develops [Infer](https://fbinfer.com), an static analysis tool that can find potential bugs in Java/C/C++/Objective-C code. During her internship, Gabriela worked on porting [Pulse (an analyser developed as part of Infer)](https://fbinfer.com/docs/checker-pulse) to the Java programming language. +The team develops [Infer](https://fbinfer.com), an static analysis tool that can find potential bugs in Java/C/C++/Objective-C code. During her internship at Facebook, Gabriela worked on porting [Pulse (an analyser developed as part of Infer)](https://fbinfer.com/docs/checker-pulse) to the Java programming language.