[中国科学院院士] - 鼓楼区 长乐 闽侯县 仓山区 福清 罗源县 连江 平潭 闽清县 永泰 台江区 晋安区 马尾区 福州市景点 福州市特产 福州市地名网 [手机版] -
长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM，对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出，并独立发展了“符号互模拟”理论，解决了传统并发计算模型对大量实际应用不能有效模拟的问题，为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法，解决了π-演算的有穷公理化问题。
[以上内容由"有话好说"分享。]
同年(公元1947年)出生的名人：
