个人简介

林惠民男博导软件研究所 招生方向 网络与并发实时系统的设计与分析 并发理论与模型检测 形式化方法 教育背景 1984-02--1986-06中国科学院博士 工作简历 1990-04--1993-03英国萨塞克斯大学ResearchFellow 1986-09--1987-12英国爱丁堡大学计算机科学基础实验室ResearchFellow 1986-06--今中国科学院软件研究所助研、副研、正研 奖励信息 （1）并发进程的代数理论及验证工具，二等奖，国家级，1999 发表著作 （1）移动与通信系统：pi-演算，CommunicatingandMobileSystems: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-计算机软件与理论