From 49a88243fcbfde58ccb534dd4eb919caf9809b10 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 7 Oct 2020 17:04:12 +0100 Subject: [PATCH] Update xiong.md --- _people/xiong.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/_people/xiong.md b/_people/xiong.md index a47f792..4cf2e16 100644 --- a/_people/xiong.md +++ b/_people/xiong.md @@ -11,7 +11,6 @@ projects: - moc --- -Shale was a PhD student with the group. Shale defended his thesis: Parametric Operational -Semantics for Consistency Models in February 2020 and he is currently working -for [Arm Research]( https://www.arm.com/resources/research), Cambridge, as a +Shale was a PhD student with the group. Shale defended his thesis: [Parametric Operational +Semantics for Consistency Models (https://vtss.doc.ic.ac.uk/publications/Xiong2020Parametric.html) in February 2020 and he is currently working for [Arm Research]( https://www.arm.com/resources/research), Cambridge, as a Research Engineer in their Security group. \ No newline at end of file -- GitLab