hollow-land , Leye county, Bose, Guangxi, China Jan.17th. 2009
I am currently a postdoc of Computer Science working on behalf of BASICS.
I received my Doctoral Degree in Computer Science from Shanghai Jiao Tong University in 2011. Professor Yuxi Fu is my supervisor. Professor Pierre-Louis Curien was invited to take the chair of the committee of my dissertation defense. I was honoured the title of ‘The Outstanding Student of Shanghai Jiao Tong University’ for excellent performance on mathematics and physics when I was an undergraduate student.
My research interests mostly lie in process calculi, including the observational theory of processes, the axiomatization of equivalences on processes, the theory of relative expressiveness, and the studies on decidability and complexity of various verification problems. My interests also extend to automata, computational complexity, algorithmic number theory, and combinatorial game theory.
I participated as a key member in project NSFC 60573002, NSFC 60873034, and NSFC 61033002.
BASICS, Department of Computer Science
Shanghai Jiao Tong University.
No.800, Road Dongchuan
P. R. China
+86 (21) 3420-5060