From e5cdeea473409c70f02fcb0269d5632d97131e7e Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 14 May 2021 16:41:07 +0000 Subject: [PATCH] Update 2021-05-12-sampaio.md --- _posts/2021-05-12-sampaio.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_posts/2021-05-12-sampaio.md b/_posts/2021-05-12-sampaio.md index 90fcd44..a8eb7db 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. -- GitLab