Map     中文
Naiju ZENG

From State Key Laboratory of Computer Science

Main Page > People > PhD Students > Naiju ZENG
Jump to: navigation, search

PhD Student
Supervisor: Wenhui ZHANG, Yongjian LI
Research Fields: Formal verification
Personal Description:

  • 2008-now: State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, PhD. student
  • Main research interests: STE method for hardware model checking, verification of embedded systems

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