Map     中文
Gaoang LIU

From State Key Laboratory of Computer Science

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

PhD Student
Supervisor: Huimin LIN
Research Fields: Model checking
Personal Description:

  • 2007-2011: Department of computer science, Jilin University
  • 2011- now: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

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