diff --git a/_people/xiong.md b/_people/xiong.md index 431f2166b227fd6dca77b7ebc52df27916e09a13..39e8db2d1b3e6f39a294ec9edc11747a715e4772 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