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, a refactoring tool for Erlang, under the supervision of Prof Simon Thompson. 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, 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. Gabriela’s PhD thesis will focus on the reasoning and verification of large Javascript Programs.