地图     English
林惠民

出自计算机科学国家重点实验室

首页 > 人才队伍 > 科研人员 > 林惠民
跳转到: 导航, 搜索
职称: 研究员、院士 Lhm.jpg
研究方向: 并发理论及形式化方法
电话: 010-62661608
E-Mail: lhm (at) ios.ac.cn
个人主页: http://lcs.ios.ac.cn/~lhm

长期从事计算机软件,特别是并发软件的形式语义学及形式化方法的研究,在进程代数的验证工具、消息传送进程的语义理论和π-演算的公理化等方向上取得了重要进展。他的工作已为国际同行在公开发表的文献中所广泛引用。1999年4月被评为国家级有突出贡献的中青年专家,同年11月当选为中科院院士。曾获得1996年中科院自然科学一等奖和1999年国家自然科学二等奖。


版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号