xiong.md

firstname: Shale
lastname: Xiong
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~sx14/
email: shale.xiong14@imperial.ac.uk
github: ShaleXIONG
alumnus: true
projects:
  - concurrency
  - moc

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, Cambridge, as a Research Engineer in their Security group.