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

Update fragoso-santos.md

parent 02d2c796
No related branches found
No related tags found
No related merge requests found
......@@ -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
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