1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
林惠民 男 博导 软件研究所
电子邮件：lhm@ios.ac.cn
通信地址：中关村南四街4号中国科学院 软件所
邮政编码：100190


研究领域
招生信息

招生专业 计算机软件与理论



招生方向 网络与并发实时系统的设计与分析
并发理论与模型检测
形式化方法
教育背景 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-计算机软件与理论