信息来源： 曲阜师范大学 发布日期: 2014-04-30浏览次数:

4月28日下午，计算机科学学院举行兼职教授聘任仪式暨学术报告会，纪委书记郭辰夫，惠普软件（济宁）国际人才及产业基地学术总监蔡建平，惠普软件（济宁）国际人才及产业基地驻校代表熊威，计算机科学学院负责人等参加了聘任仪式。仪式由学院党总支书记张书东主持。

郭辰夫代表学校向蔡建平颁发了聘书，为蔡建平教授受聘为我校兼职教授表达了衷心的祝福和欢迎。郭辰夫强调聘请蔡建平教授为我校兼职教授，体现了我校积极扩展视野、重视引进高层人才的理念。希望蔡建平教授的加盟对学校科研创新、人才培养、师资建设起到领军的作用。

聘任仪式结束后，蔡建平教授以“信息安全与代码可信”为题为现场师生奉献了一场精彩的报告。蔡教授从为着力解决信息世界当前所面临的普遍的安全威胁和不可信任危机，引出了可信计算的概念。然后，又从可信计算的技术概念、发展根源及涵盖的领域等几方面进行了介绍，继而引到软件的可信计算和可信性上。蔡教授向大家解释了软件不可靠的三大原因，凸显了复杂软件系统的环境不确定性使得预测和把握软件的行为的重要意义。报告最后，蔡教授又以清晰的思路向大家阐明了软件的可信编程技术及代码错误检测。

（来源：计算机科学学院 编辑：宣传部新闻中心 责编：孙琪）