Map     中文
Shichao LIU

From State Key Laboratory of Computer Science

Main Page > People > PhD Students > Shichao LIU
Jump to: navigation, search

PhD Student
Supervisor: Ying JIANG
Research Fields: Theory of programming languages, Verification of concurrent programs
Personal Description:

  • 2005-2009: Xiamen University, Department of computer science, Bachelor
  • 2009-now: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, PhD. student

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