From 7b8bf998a1cc472494655211a18f5c250d6f08e2 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 12 Mar 2020 11:31:37 +0000 Subject: [PATCH] Update xiong.md --- _people/xiong.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/_people/xiong.md b/_people/xiong.md index 431f216..39e8db2 100644 --- a/_people/xiong.md +++ b/_people/xiong.md @@ -5,9 +5,13 @@ position: PhD Student webpage: http://www.doc.ic.ac.uk/~sx14/ email: shale.xiong14@imperial.ac.uk github: ShaleXIONG -alumnus: false +alumnus: true projects: - concurrency - moc --- +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