基本信息
林惠民 男 博导 软件研究所
电子邮件：lhm@ios.ac.cn
通信地址：中关村南四街4号中国科学院 软件所
邮政编码：100190
部门/实验室：计算机科学国家重点实验室
研究领域

招生信息
招生专业081202-计算机软件与理论

招生方向 网络与并发实时系统的设计与分析
并发理论与模型检测
形式化方法

教育背景 1984-02--1986-06 中国科学院 博士

学历 -- 研究生

学位 -- 博士


工作经历
工作简历 1990-04--1993-03 英国萨塞克斯大学 Research Fellow
1986-09--1987-12 英国爱丁堡大学计算机科学基础实验室 Research Fellow
1986-06--今 中国科学院软件研究所 助研、副研、正研

社会兼职

教授课程

专利与奖励
奖励信息 （1） 并发进程的代数理论及验证工具，二等奖，国家级，1999

专利成果

出版信息
发表论文 （1） A complete symbolic bisimulation for full applied pi calculus，TeoreticalComputerScience，2012，第2作者
（2） Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver，International Journal of Software Engineering and Knowledge Engineering，2011，第3作者
（3） Proof System for Applied Pi Calculus，FIP TCS ，2010，第2作者
（4） A Complete Symbolic Bisimulation for Full Applied Pi Calculus，36th Conference on Current Trends in Theory and Practice of Computer Science.，2010，第2作者
（5） Environment Abstraction with State Clustering and Parameter Truncating，Third IEEE International Symposium on Theoretical Aspects of Software Engineering，2009，第3作者
（6） Specifying Properties for Modular Pi-Calculus，TASE 2008:，2008，第2作者
（7） Stratifying Winning Positions in Parity Games，29th International Conference on Aplications a Theory of Petri Nets，2008，第1作者

发表著作 （1） 移动与通信系统：pi-演算，Communicating and Mobile Systems: the π-Calculus，清华大学出版社，2009-09，第1作者


科研活动
科研项目 （1） 模型检测的理论、技术与工具，主持，国家级，2009-01--2012-12

参与会议

合作情况
项目协作单位

指导学生已指导学生
陈靖博士研究生081202-计算机软件与理论
刘剑博士研究生081202-计算机软件与理论
吴鹏博士研究生081202-计算机软件与理论
陈义博士研究生081203-计算机应用技术
刘大光硕士研究生081202-计算机软件与理论
邓维佳硕士研究生081202-计算机软件与理论
郑维博士研究生081202-计算机软件与理论
汪芳博士研究生081202-计算机软件与理论
潘宏博士研究生081202-计算机软件与理论
郑涛硕士研究生081202-计算机软件与理论
陈雷博士研究生081202-计算机软件与理论
刘佳博士研究生081202-计算机软件与理论
马明硕士研究生081202-计算机软件与理论
现指导学生
王道明博士研究生081202-计算机软件与理论
龙震岳博士研究生081202-计算机软件与理论
张广亮硕士研究生430112-计算机技术
许丽丽博士研究生081202-计算机软件与理论
王超博士研究生081202-计算机软件与理论
刘高昂硕士研究生081202-计算机软件与理论