Map     中文
Huimin LIN

From State Key Laboratory of Computer Science

Main Page > People > Staff > Huimin LIN
Jump to: navigation, search
Professional Title: Research Professor, Academician Lhm.jpg
Research Fields: Concurreny theroy and Formal Methods
Tel: 010-62661608
E-Mail: lhm (at) ios.ac.cn

Huimin LIN received Ph.D in Computer Science from the Institute of Software, Chinese Academy of Sciences, in 1986. He is currently a research professor and the director of the Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. He was elected a Member of Chinese Academy of Sciences in 1999. Prof. Lin’s research interests include: concurrency and mobility, model checking and modal logics, formal methods, tools and algorithms for concurrent systems. He designed and implemented Process Algebra Manipulator PAM/VPAM which is the first parameterised interactive proof tool for process algebras. He is a co-originator of the "symbolic bisimulation" theory for value-passing process algebras. Prof. Lin has published papers in a number of international journals(such as Acta Informatic,ACM Transactions on Programming Languages and Systems, Information and Computation, Theoretical Computer Science, Formal Aspects of Comuting) and conferences(such as ICALP, TAPSOFT, ETAPS, PSTV, CONCUR). He has served in program committees for many international conferences.


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