Long Huan
Research Assistant
MainPage:
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)