From df7621a754321a2b68a36e388886cbce2a181bbf Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 4 Oct 2017 10:02:32 +0100
Subject: [PATCH] Add new file

---
 _posts/2017-10-02-Gabriela | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 _posts/2017-10-02-Gabriela

diff --git a/_posts/2017-10-02-Gabriela b/_posts/2017-10-02-Gabriela
new file mode 100644
index 0000000..b2ab939
--- /dev/null
+++ b/_posts/2017-10-02-Gabriela
@@ -0,0 +1,12 @@
+---
+
+title: Welcome to Gabriella Sampaio, new PhD student with the group
+
+---
+
+We are really happy to welcome Gabriela Sampaio, who has joined the group as a PhD student. Gabriela completed her BSc at the Federal University of Pernambuco (UFPE, Brazil)
+and as an undergraduate, she spent a year at the University of Kent, working on [Wrangler](https://www.cs.kent.ac.uk/projects/wrangler/Wrangler/Home.html), 
+a refactoring tool for Erlang, under the supervision of [Prof Simon Thompson](https://www.cs.kent.ac.uk/people/staff/sjt/). After a stint as a  web developer in Brazil,
+she went back to UFPE in 2017 to do a MSc under the supervision of [Prof Paulo Borba](http://ufpe.academia.edu/PauloBorba), working on ways to support developers in partially 
+safe changes to software product lines with the use of a partial refinement theory; the results were published at [SPLC'16](https://dl.acm.org/citation.cfm?id=2934482). 
+Gabriela's PhD thesis will focus on the reasoning and verification of large Javascript Programs.
\ No newline at end of file
-- 
GitLab