---
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](https://www.arm.com/resources/research), Cambridge, as a 
Research Engineer in their Security group.