Update fragoso-santos.md

_people/fragoso-santos.md

@@ -5,11 +5,13 @@ position: Research Associate
 webpage: http://www.doc.ic.ac.uk/~jfaustin/
 email: jose.fragoso.santos@imperial.ac.uk
 github: j3fsantos
-alumnus: false
+alumnus: true
 projects:
   - web
   - sl
   - infer
 ---
 
-Jose Fragoso is a Research Associate with the group, working on  program analysis, verification, and instrumentation, with applications to security.
\ No newline at end of file
+Jose Fragoso 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.
\ No newline at end of file