Shale XIONG (熊 沙乐)

Shale Xiong

I am a PhD student at Dept. of Computing, Imperial College since Oct. 2015, in the Program Specification and Verification Group supervised by Prof. Philippa GARDNER. Currently, I am interesting in verification of concurrent programs and distributed system especially consistency models.

I received MSc. in Advanced Computing from Imperial College London in 2015, and BEng. in Software Engineering from Southwest Jiaotong University (西南交通大学), China in 2014.



sx14 [AT]


433 Huxley Building,
Dept. of Computing,
South Kensington Campus,
Imperial College London,
London SW7 2AZ, UK