周巢尘院士在深圳先进院作报告

6月30日，中国科学院深圳先进技术研究院数字所收到了一封来自中国科学院软件研究所计算机科学国家重点实验室周巢尘院士的亲笔书信，向深圳中国科学院院士活动基地与先进院表示感谢。一周前，应院士基地和先进院的联合邀请，周巢尘院士访问了先进院并作了题为Modeling and Verification of Hybrid Systems的学术讲座。讲座现场火爆，双方达成合作意向。

周巢尘院士以中国高铁交通控制系统、飞机避撞协议为例，深入阐释了针对并行的离散与连续系统的安全性验证。与会人员与周院士进行了热烈的讨论。周巢尘院士表示，先进院可申请软件所计算机科学国家重点实验室的开放课题基金，双方可在应用于复杂系统分析、验证、优化的高性能计算等研究领域开展务实的科研合作。

周巢尘院士是我国分布式程序设计理论研究的先驱者和开拓者之一，他的研究领域为高端软件系统的严密描述与安全性验证，尤其是含有离散与连续动态变量的系统。这些系统广泛存在于高铁、汽车、航空、高端医疗设备等应用领域中。他于1991年创立了时段演算逻辑理论（Duration Calculus），该理论吸引了欧洲、美国、印度等国的学者进行以此理论为基础的相关研究。2003年，周巢尘院士与丹麦Michael R. Hansen教授合著的专著Duration Calculus: A Formal Approach to Real-Time Systems，由Springer-Verlag出版并编入欧洲理论计算机科学专著系列中。

周巢尘院士还分别与先进院院长樊建平、陈国良院士等进行了深入交流。