软件研究所林惠民男博导__中科大考研真题_中科院考研真题

首页 > 考研Tips > 考研热点 >

软件研究所林惠民男博导

作者：科大科院考研网发表时间：2019-12-18 来源：研招办

科院考研推荐链接：

考研资料：中科院考研真题

考研信息：找个直系学长，咨询考研问题

考研一对一：学长带队，复习不累

研究领域

招生信息

招生专业

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