From 85ecd41d205404823687a5672b755c3bb5c5cdf7 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Mon, 14 Oct 2019 16:30:18 +0100
Subject: [PATCH] Update fragoso-santos.md

---
 _people/fragoso-santos.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/_people/fragoso-santos.md b/_people/fragoso-santos.md
index f4c4808..fa78f23 100644
--- a/_people/fragoso-santos.md
+++ b/_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
-- 
GitLab