From 189ff4e9c8632f853b24775d54355f3b069b0603 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 29 Apr 2020 12:06:49 +0100 Subject: [PATCH] Update xiong.md --- _people/xiong.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_people/xiong.md b/_people/xiong.md index 39e8db2..a47f792 100644 --- a/_people/xiong.md +++ b/_people/xiong.md @@ -11,7 +11,7 @@ projects: - moc --- -was a PhD student with the group. Shale defended his thesis: Parametric Operational +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 Research Engineer in their Security group. \ No newline at end of file -- GitLab