Map     中文
Liang ZOU

From State Key Laboratory of Computer Science

Main Page > People > PhD Students > Liang ZOU
Jump to: navigation, search

PhD Student
Supervisor: Naijun ZHAN
E-mail: zoul(at)ios.ac.cn
Research Fields: Formal methods
Personal Description:

  • Main research interests include hybrid systems, process algebra (CSP), Z method
  • 2009-now: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, PhD. Student
  • Participated in the joint project between SKLCS-, and published one paper in APLAS 2010
  • 2010. November, UNU-IIST, Internship student

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki