Map     中文
Zhilin WU

From State Key Laboratory of Computer Science

Main Page > People > Staff > Zhilin WU
Jump to: navigation, search
Professional Title: Associate Research Professor
Research Fields: Automata and Logic, Formal Verification
Tel: 010-62661648
E-Mail: wuzl(at)ios.ac.cn
Homepage: http://lcs.ios.ac.cn/~wuzl/



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