应我校计算机学院段振华教授的邀请，10月20日，澳门联合国大学（United Nations University）的 Chris Jeorge 教授来我校作了题为《RAISE Logic》的学术报告。
　　

　　Chris Jeorge 教授是澳门联合国大学国际软件技术研究所（International Institute for Software Technology）的负责人。该研究所是一个位于澳门的联合国机构，正式成立于1992年，其任务是协助发展中国家开发和获取计算机软件技术。在这次报告会上，Chris Jeorge教授主要介绍了他们开发的语言RAISE，然后又讲了形式化方法与非形式化方法的区别。他们开发的语言RAISE就是一种形式化语言，可以用来推理、验证。演讲结束后，Chris Jeorge 教授回答了学生们的提问，现场交流气氛十分活跃。
　　

　　

　　Chris Jeorge 教授的到访开拓了学生的视野，活跃了我校的学术气氛，为今秋的校园学术活动添上了色彩浓重的一笔。（计算机学院、国际合作与交流处）