3396
1
1萬
教授
簽到天數: 451 天
[LV.9]以壇為家II
1977年12月参加高考,以高分被福州大学数学系计算机软件专业录取。1986年获中国科学院软件研究所博士学位。现为中国科学院软件研究所学术委员会主任。长期从事并发理论及形式化方法的研究。设计并实现了世界上第一个通用的进程代数验证工具;与国际同行、英国Hennessy教授合作提出,并独立发展了传值并发进程的“符号互模拟”理论;解决了π-演算和时间自动机的有穷公理化问题。1999年当选为中国科学院院士。
我们这代人的个人命运和国家命运紧紧交织在一起,这是现在的年轻人难以感受到的。
命运的沉浮无法复制,但有一点是不变的——从小培养对知识、对科学的热爱。人生的选择很多,兴趣是第一位的。尽管科研这条道路充满坎坷,走得艰难,却也因此更有意义。追求科学真理、探索客观规律给我带来的快乐,是不可替代的。
我的求学生涯得到了很多老师的帮助和指引,有的甚至影响我一生。如今,当我也承担起老师的角色时,我希望我能真正激发起学生对科学的热爱。
使用道具 舉報
發表回復 回帖後跳轉到最後一頁
手機版| 廣告聯繫
GMT+8, 2024-12-5 13:05 , Processed in 0.044023 second(s), 16 queries , Gzip On, Memcache On.
Powered by Discuz! X2.5
© 2001-2012 Comsenz Inc.