diff --git a/_posts/2017-10-02-Gabriela b/_posts/2017-10-02-Gabriela new file mode 100644 index 0000000000000000000000000000000000000000..b2ab9396b221ce3cca069aecc1808568e72b484b --- /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