机电学院特邀薛锦云教授作学术报告-华东交通大学新闻网

信息列车

新闻网首页 > 信息列车 > 正文

机电学院特邀薛锦云教授作学术报告

作者：来源：机电学院　时间：2009-06-01 浏览：1

　　近日，中国科学研究院软件所博导、教授薛锦云应邀来到华东交通大学机电学院作学术报告，学术报告的题目为“可信软件的构造和验证”，学术报告会由熊国良院长主持。

　　薛锦云教授是江西省第四、第五届自然科学基金委员会委员。连续担任九五、十五、十一五省重点学科和示范性硕士点学科带头人，主持承担国家级课题12项，其中获得7项国家自然科学基金面上项目。
　　薛锦云教授从可性软件的概念和挑战入手，阐述了高可信软件系统的重要性及其急需解决的科学问题。他运用自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性，充分体现了PAR方法的优越性、高效性和可靠性。

责任编辑：admin

上一条：华南理工大学博导褚庆昕教授应邀来我校做学术报告下一条：高福荣、周东华教授莅临我校做学术报告