北京邮电大学50周年校庆系列学术报告报道

“理论计算机科学前沿进展”学术报告会成功举办

校学术委员会 2005年9月27日

    
    9月16日下午2:00-5:00，中国计算机学会青年计算机科技论坛（CCF Young Computer Scientists & Engineers Forum YOCSEF）与北邮学术委员会联合举办了以“理论计算机科学前沿进展”为主题的校庆系列学术报告会。
    首先作报告的是周巢尘院士。他是中国科学院软件研究所研究员，中国科学院院士，第三世界科学院院士。曾任联合国大学国际软件技术研究所所长。长期从事计算机科学理论的研究，在软件形式化理论方面做出了系统的、创造性的工作，取得了具有国际先进水平的研究成果。是我国分布式程序设计理论研究的先驱者和开拓者之一。在程序设计理论，特别是分布式程序设计理论的研究方面有卓越成绩，获 1987 年国家自然科学二等奖。近年来致力于时段演算 (Duration Calculus) 的研究，取得了丰富的成果。他的研究成果已经成为实时系统形式化领域中国际公认的新途径。
    他的报告题目是“程序验证的新动向”。他首先简单介绍了程序断言 (Assertion) 的概念，断言方法在工业界的应用以及国际上的验证编译器 (Verifying Compiler) 计划；然后介绍了程序验证和代数符号计算的关系，并建议将我国代数符号计算方面的杰出成就应用于程序验证的研究。
    接着，清华大学计算机科学与技术系应明生教授又为我们作了题为“基于量子逻辑的计算理论”的精彩学术报告。应明生教授是清华大学计算机科学与技术系智能技术与系统国家重点实验室“长江学者奖励计划 ” 特聘教授，曾在抚州师范专科学校数学系、江西师范大学数学系、南京航空航天大学计算机科学与工程系任教。主要从事形式化方法、人工智能基础理论、量子计算、模糊逻辑等方面的研究工作，在 Acta Informatica 、 Artificial Intelligence 、 IEEE Transactions on Information Theory 、 Journal of Symbolic Logic 、 Theoretical Computer Science 等权威刊物上发表一系列有重要影响的论文。
     参加报告会的有从事计算机软件研发的工程师、教师、研究生等。

周巢尘院士


应明生教授