Long Huan Research Assistant


Office Telephone: +86-21-3420-5060

Office Address: SEIEE-3-327

Email: longhuan@cs.sjtu.edu.cn

Lab: BASIC Laboratory

  • Research
  • Education
  • Work Experience
  • Teaching Assignment
  • Publications
  • Project Fund
  • Awards
  • Academic Service
Concurrency Theory 
Process Calculi and Applications 
2005.09-2009.05, PhD candidate, Shanghai Jiaotong University, supervised by Prof. Yuxi Fu 
2002.09-2005.07, Master in computer science, Cheng Du Branch Chinese Academy of Sciences, supervised by Prof. Hongguang Fu 
1998.09-2002.07, Bachelor in computer science, University of Electronic Science and Technology of China  
Computability theory
Discrete mathematics
Huan Long, Yuxi Fu: How faithfully can π be interpreted in SA? SCIENCE CHINA Information Sciences 56(3): 1-15 (2013)
Jianxin Xue, Huan Long and Guoqiang Li. An improved full abstraction approach to analyzing locality semantics. In Proceedings of 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2012), pages 101-108. IEEE Computer Society, (2012)
Yin, Q., Long, H.: Process passing calculus, revisited. Journal of Shanghai Jiaotong University (Science) 18, 29-36 (2013) 
Huan Long, Yuxi Fu: A general approach for building combinational P automata. Int. J. Comput. Math. 84(12): 1715-1730 (2007) 
2013-2015 National Natural Science Foundation of China (Young Scholars) 
2013-2015 Doctoral Fund of Ministry of Education of China (New Teachers) 

Contact webmaster@cs.sjtu.edu.cn

Copyright @ 2013 SJTU Computer Science & Engineering All Rights Reserved