林惠民 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081202-计算机软件与理论招生方向网络与并发实时系统的设计与分析并发理论与模型检测形式化方法教育背景 1984-02--1986-06 中国科学院博士工作简历 1990-04--1993-03 英国萨塞克斯大学 Research Fellow 1986-09--1987-12 英国爱丁堡大学计算机科学基础实验室 Research Fellow 1986-06--今中国科学院软件研究所助研、副研、正研奖励信息（1）并发进程的代数理论及验证工具，二等奖，国家级，1999 发表著作（1）移动与通信系统：pi-演算，Communicating and Mobile Systems: the π-Calculus，清华大学出版社，2009-09，第1作者科研项目（1）模型检测的理论、技术与工具，主持，国家级，2009-01--2012-12

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（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作者