Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
100 commits behind the upstream repository.
fragoso-santos.md 409 B 
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.