中国科学院软件研究所研究生导师简介-林惠民

删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

软件研究所免费考研网/2013-11-28

队伍建设
百人计划
杰出青年
人才招聘
科技副职
functionescapeTrs(str){//转义trs关键字vararr=newArray("\\\\","!","@","#","\\$","\%","\\^","\&","\\*","\$","\$","\\_","\\+","\-","\=","\\{","\\}","\\|","\\[","\\]",";","'",":","\"","\<","\>","\\?","\,","\\.","\/");for(vari=0;i站内搜索

首页>>人才队伍

林惠民--研究员、院士

100190北京中关村南四街4号（北京8718信箱）
中国科学院软件研究所职称：研究员、院士
联系电话：010-62661608
E-Mail：lhm(at)ios.ac.cn
　　
　　林惠民，1947年11月生于福建省福州市，研究员，博士生导师。1986年在中国科学院软件研究所获博士学位；曾先后在英国爱丁堡大学和萨塞克斯大学工作。1999年被评为“国家级有突出贡献的中青年专家”，同年11月当选为中国科学院院士。主要研究方向包括：通迅并发系统的理论、工具及应用、模型检测、代数规约、程序模块化理论。
　　他长期从事并发理论及形式化方法的研究。他设计并实现的交互式证明系统PAM是世界上第一个通用的进程代数验证工具。与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论；解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内外同行在公开发表的文献中所广泛引用，推动了这些领域的发展。他的工作获得1996年度中国科学院自然科学奖一等奖和1999年度国家自然科学奖二等奖。

相关话题/软件

领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...
考试优惠券本站小编 Free壹佰分学习网 2022-09-19
中国科学院软件研究所研究生导师简介-苏璞睿
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络与系统安全三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-张振峰
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要从事密码学理论与应用、安全协议的设计与分析等方面的研究工作。主持国家自然科学基金项目“高信度密码协议的设计与分析”、“密码协议的安全模型与可证明安全性研究”等项目，进行安全协议的设计与分析，密码系统安全模型的建立与可证明安全性研究 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-邓勇
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介空间综合电子信息系统三、学习经历1996年国防科技大学电子学与信息系统工学学士；1999年国防科技大学信息与通信工程工学硕士；哈尔滨工业大学信息与通信工程博士生。四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-马恒太
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网与信息安全三、学习经历1991－1995武汉治金科技大学自动化系工学学士学位　计算机应用1995－1997武汉科技大学自动化系工学硕士学位　计算机应用1997－2001中国科学院软件研究所工学博士学位　计算机应用技术四、工作经 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-郑刚
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网通信；网络信息安全；网络控制网络控制系统分析与设计;网络安全与信息安全;网络系统管理;混杂系统分析、控制和优化;故障诊断与容错控制;计算机仿真。与管理。三、学习经历2001.9——2004.7，中国科学院自动化研究所，控制理论 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-刘立祥
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络及其通信技术、网络计算技术三、学习经历2002/7毕业于上海交通大学，获得博士学位四、工作经历2003/2-2005/2中科院软件所博士后2005/3-至今中科院软件所综合信息系统国家重点实验室五、社会兼职六、研究成果与获奖情况主 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-张金芳
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介地形分析，大地形可视化，虚拟现实。三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著"地形可视性分析"系统仿真学报，2005.8八、承担项目 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-彭启民
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介综合信息处理与集成：(1)图像处理与理解，包括图像及视频的预处理、目标检测、目标识别等；（2）模式识别与机器学习，包括特征提取，分类器设计等；（3）信息融合，包括多源多层信息的融合处理算法设计及系统集成。三、学习经历北京理工大学计算机 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-徐帆江
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所软件研究所免费考研网 2013-11-28
中国科学院软件研究所研究生导师简介-郑昌文
队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介信息处理与集成、人工智能、计算机仿真三、学习经历2003.10-2005.5中国科学院软件研究所博士后1999.9-2003.9华中科技大学图像识别与人工智能研究所工学博士1996.9-1998.10华中理工大学经济学院经济学硕士19 ...
中科院软件研究所软件研究所免费考研网 2013-11-28