---
firstname: José
lastname: Fragoso Santos
position: Researcher
webpage: http://web.ist.utl.pt/jose.fragoso/
email: jose.fragoso@tecnico.ulisboa.pt
github: j3fsantos
alumnus: true
projects:
  - gillian
---

José joined the group as a Research Associate in 2015, working on
program analysis and JavaScript Verification. He is now an Assistant Professor
at the Instituto Superior Técnico, Lisbon, Portugal.