1977年12月参加高考，以高分被福州大学数学系计算机软件专业录取。1986年获中国科学院软件研究所博士学位。现为中国科学院软件研究所学术委员会主任。长期从事并发理论及形式化方法的研究。设计并实现了世界上第一个通用的进程代数验证工具；与国际同行、英国Hennessy教授合作提出，并独立发展了传值并发进程的“符号互模拟”理论；解决了π-演算和时间自动机的有穷公理化问题。1999年当选为中国科学院院士。
我们这代人的个人命运和国家命运紧紧交织在一起，这是现在的年轻人难以感受到的。
命运的沉浮无法复制，但有一点是不变的——从小培养对知识、对科学的热爱。人生的选择很多，兴趣是第一位的。尽管科研这条道路充满坎坷，走得艰难，却也因此更有意义。追求科学真理、探索客观规律给我带来的快乐，是不可替代的。
我的求学生涯得到了很多老师的帮助和指引，有的甚至影响我一生。如今，当我也承担起老师的角色时，我希望我能真正激发起学生对科学的热爱。
| 歡迎光臨 比思論壇 (http://bbb-ccc.xyz/) | Powered by Discuz! X2.5 |