信息工程学院“信息科学论坛”系列学术报告之37

主讲：周巢尘院士
时间：2011年8月29日(周一)下午2：45
地点：校本部北院信息工程学院2楼会议室

摘要：
主要介绍混成系统（嵌入式系统、信息物理融合系统）的建模语言HCSP（混成通信顺序进程）、微分不变式的生成算法和验证逻辑HHL（混成霍尔逻辑）的基本思想。本报告是基于自然科学基金的、跨学科的研究项目--“基于计算机代数的我国高速铁路的控制系统规范CTCS-3/4的分析和验证”的已有成果。
 
周巢尘院士简历：
中国分布式程序设计理论研究的先驱者和开拓者之一，中国科学院院士，第三世界科学院院士。1986年6月起任中国科学院软件研究所研究员，1992年8月至1997年7月兼任联合国大学国际软件技术研究所首席研究员，1997年8月至2002年8月兼任该所所长。