Gabriela Sampaio was a PhD student at the Department of Computing at Imperial, under the supervision of Professor Philippa Gardner. She completed her BSc and MSc at Federal University of Pernambuco (UFPE, Brazil), spending a year abroad at the University of Kent, working on the Erlang refactoring project (Wrangler). In 2022, Gabriela defended her PhD thesis, A Trusted Infrastructure for Symbolic Analysis of Event based Web APIS, and took up a position at Meta (formerly Facebook).

Group Publications

  1. JaVerT 2.0: Compositional Symbolic Execution for JavaScript

    PACMPL, vol. 3( POPL)