Map     中文
Haiming CHEN

From State Key Laboratory of Computer Science

Main Page > People > Staff > Haiming CHEN
Jump to: navigation, search
Professional Title: Research Professor Chm.jpg
Research Fields: Software Design and Formal Specification
Tel: 010-62661612
E-Mail: chm(at)

Personal Description:

  • His previous research work range over software reusing technology, Chinese Font Technology, formal specification and computational models.
  • His current research topics include computational models, software development methodologies and formal specifications, programming languages.
  • He has won the first prize of Scientific and Technological Progress Award of Chinese Academy of Sciences, and the second prize of State Scientific and Technological Progress Award. In addition, He has won the Outstanding Young Scholar Award of Chinese Academy of Sciences.

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