10月24日下午，“航空航天高峰论坛”之周巢尘院士报告会在明故宫校区12号楼128报告厅举行。报告会主题为“杂谈混成系统”，报告会由计算机科学与技术学院院长黄志球主持，学院副院长皮德常、王箭，ATS语言发明者、美国波士顿大学奚宏伟副教授和计算机科学与技术学院师生参加了报告会。

混成系统的设计涉及数学、控制论和计算机科学。在报告中，周巢尘院士从计算机科学的角度为我们介绍了混成系统的由来和发展、混成系统的建模和正确性分析。周巢尘院士首先介绍了混成系统的国内外研究背景，现状及最新的研究成果，让我们对这个新兴的研究领域有了整体的认识。随后周院士详细介绍了混成系统的实现算法、验证的基础理论等，并以中国铁路系统的实例展示了新的研究成果在实践中的应用。

报告结束后，周院士与现场的老师和同学进行了互动交流，整个会场学术气氛融洽，讨论热烈。最后黄志球院长代表学校对周巢尘院士精彩的报告表示感谢。

周巢尘，中科院院士、第三世界科学院院士、计算机软件专家。1958年毕业于北京大学数学力学系，1967年研究生毕业于中国科学院计算技术研究所，师从胡世华研究员。1985年起任博士生导师。1986年6月起任中国科学院软件研究所研究员。1988年10月被授予“国家级有突出贡献的中青年专家”称号。1993年当选中国科学院院士，2000年当选第三世界科学院院士。1997-2002年兼任联合国大学国际软件技术研究所所长。他长期从事程序设计理论的研究。在分布式程序设计理论方面的研究成果获1987年国家自然科学二等奖；九十年代初和欧洲学者合作，提出和发展了实时系统的逻辑理论—时段演算。