Skip to content
Snippets Groups Projects
Commit 3e905582 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update fragoso-santos.md

parent 723d9c73
No related branches found
No related tags found
No related merge requests found
......@@ -2,8 +2,8 @@
firstname: José
lastname: Fragoso Santos
position: Research Associate
webpage: http://www.doc.ic.ac.uk/~jfaustin/
email: jose.fragoso.santos@imperial.ac.uk
webpage: http://web.ist.utl.pt/jose.fragoso/
email: jose.fragoso@tecnico.ulisboa.pt
github: j3fsantos
alumnus: true
projects:
......@@ -12,6 +12,6 @@ projects:
- infer
---
joined the group as a Research Associate in 2015, working on
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.
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment