Compiled from the following sources:

Special biographic research
Wen Wei Publishing Company, Ltd. 2002-2006

Who's Who, Current Chinese Leaders
Wen Wei Publishing Company, Ltd. 2003-2005

Revision History:

Biography Revised: 5/16/2003
Career Data Updated: 3/26/2006

PHOTO: Lin Huimin
Lin Huimin 林惠民
Expert on Computer Software and Theory

Biography

Lin Huimin, male, Han nationality. He graduated from Fuzhou University and obtained a doctorate degree from the Chinese Academy of Sciences in 1986.

Lin served as a researcher of the Software Research Institute of the Chinese Academy of Sciences. He has been primarily devoted to the research of form semantics and formalization methods of computer programs. He designed and realized general course algebra validation tool PAM/VPAM, causing an important influence on the development of such tools. In partnership with Professor Hennessy of the UK, Lin put forward and independently developed the theory of 'Symbol mutual simulation'. He solved the problems that traditional cocurrent computing models could not effectively simulate for a large quantity of actual application. Lin also provided the theoretical basis for inference and validation of communication cocurrent courses on computer. He put forward the complete verifying system and sole fixed point induction of computing model -- calculating weak mutual simulation. Subsequently, he solved the problem of finite axiomatization of certain calculations.

Lin Huimin was elected as an academician of the Chinese Academy of Sciences in 1986.

Compare
Compare the backgrounds and careers of an unlimited number of officials whose biographies you have recently viewed.

Recently Viewed [clear all]
Biographies [clear]
 Select officials you would like to compare:
Lin Huimin
Strict comparison Relaxed comparison
Appearances [clear]
Institutions [clear]
Locations [clear]
Searches [clear]