Xu Xian's Homepage

Xu Xian

Postal Address

Department of Computer Science and Technology
School of Electronics and Informatics
East China University of Science and Technology (ECUST)
130, Mei Long Road
Shanghai, P.R. China, 200237

E-mail xuxian2004(at)gmail.com OR xuxian(at)ecust.edu.cn

Taken in Venice, Italy, in July, 2006. By Yan Qiqi.


I obtained the BA in Computer Science at SJTU (Shanghai Jiao Tong University) in 2002. Then I continued to pursue the Master's degree as a student of Professor You Jinyuan at SJTU-DCTC (Distributed Computing Technology Center), and gained the MSc in 2005. In 2008 I received my PhD in SJTU-BASICS (Basics Studies in Computer Science) lab directed by Professor Fu Yuxi. The PhD thesis can be found below.

I am now an associate professor at ECUST.

Here is my CV (pdf).


Current Interests

My research interest resides in basic theories in Computer Science. I am mainly focusing on two directions.

One is the concurrency theory, particularly the process theory, for example the first-order and higher-order π-calculus, including the semantics, bisimulation, algebraic theory, expressiveness and etc., and also other various process models.
The other is applications of concurrency theory. For instance, the formalization and verification of biological processes, including model constructing, method design, tool development, and the application in distributed computing and security protocol analysis and etc..

I welcome all kinds of discussion and suggestion concerning these research directions and other relevant ones.
Sometimes kind of dizzy yet sometimes sort of ambitious.

Related work (chronological)

Useful Info.


Last updated: September 13, 2016.
By Xu Xian.