基本信息
林惠民 男 博导 软件研究所
电子邮件:lhm@ios.ac.cn
通信地址:中关村南四街4号中国科学院 软件所
邮政编码:100190
电子邮件: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--今 中国科学院软件研究所 助研、副研、正研
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作者
(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-计算机软件与理论