Map     中文
Zhaowei XU

From State Key Laboratory of Computer Science

Main Page > People > PhD Students > Zhaowei XU
Jump to: navigation, search

PhD Student
Supervisor: Wenhui ZHANG
Research Fields: Model checking
Personal Description:

  • Interested in fundamental problems in computer science
  • Currently study mathematical logic and other curricula of theoretical computer science

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