10月30日學術報告:Moshe Y. Vardi
發布時間:2019-10-22  閱讀次數:1373

報告題目:Program Verification: a 50-Year History

報告人:Moshe Y. Vardi

報告時間:2019年10月30日 周三 09:30 – 10:30

報告地點:科學會堂

 

報告摘要:The year 2019 sees the 50th anniversary of Tony Hoare's CACM paper, "An Axiomatic Basis for Computer Programming". In that paper, Hoare stated: "When the correctness of a program, its compiler, and the hardware of the computer have all been established with mathematical certainty, it will be possible to place great reliance on the results of the program, and predict their 
properties with a confidence limited only by the reliability of the electronics."
In this talk, I will review the 50-year history of this vision, describing the obstacles, the controversies, and progress milestones.  I will conclude with the description of both impressive progress and dramatic failures exhibited over the past few years.

 

報告人信息:Moshe Y. Vardi is University Professor, Karen Ostrum George Distinguished Service Professor in Computational Engineering, and Director of the Ken Kennedy Institute for Information Technology at Rice University. His interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including machine learning, database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification, and teaching logic across the curriculum.

華東師范大學軟件工程學院
www.chgmeridian.com Copyright Software Engineering Institute
院長信箱:yuanzhang@sei.ecnu.edu.cn | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
江苏快3开奖结果