Gabriela Sampaio

Gabriela Sampaio

PhD student at Imperial College London

About Me

I am a PhD Student at Imperial College London under the supervison of Prof. Philippa Gardner and a member of the Program Specification and Verification Group. My area of research is on formal and automated verification about JavaScript programs. I am also interested in Web Development, Software Product Lines, Software Reuse and Functional and Object-oriented Programming Languages.

My CV is available here.

In my free time, I enjoy running and doing Pilates. I also like travelling and learning about different cultures.


Gabriela Sampaio, Paulo Borba, and Leopoldo Teixeira.

"Partially safe evolution of software product lines." In Proceedings of the 20th International Systems and Software Product Line Conference, pp. 124-133. ACM, 2016.

Find out more