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.
1999— | Academician, Chinese Academy of Sciences | |
Researcher, Chinese Academy of Sciences, Software Research Institute | ||
1986 | Graduate, Chinese Academy of Sciences, Software Research Institute (Received Doctorate) | |
1982 | Graduate, Fuzhou University, Computer Science Department Fujian Province, Fuzhou City |