From 2f94bacfb551afc49cf839bc93a9622e628597d6 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Mon, 14 Oct 2019 16:38:13 +0100 Subject: [PATCH] Update fragoso-santos.md --- _people/fragoso-santos.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_people/fragoso-santos.md b/_people/fragoso-santos.md index fa78f23..9b2e2c7 100644 --- a/_people/fragoso-santos.md +++ b/_people/fragoso-santos.md @@ -12,6 +12,6 @@ projects: - infer --- -Jose Fragoso joined the group as a Research Associate in 2015, working on +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