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.

Contact

Email:

sx14 [AT] ic.ac.uk

Address:

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