西工大新闻网6月30日电（刘倩倩 张生）6月27日15:00，由国际合作处主办，计算机学院承办的图灵大咖讲堂——“图灵奖”得主Joseph Sifakis教授报告会在计算机学院楼105会议室举办。校长助理、计算机学院院长张艳宁教授，计算机学院学科带头人周兴社教授，计算机学院副院长尚学群教授、邓磊教授，以及计算机学院相关学科老师出席了本次报告会。报告会尚学群教授主持。

Joseph Sifakis教授将模型检查方法应用于实时系统的验证方面的工作而在国际上享有盛誉，并且也因此在2007年获得计算机领域世界最高奖项——“图灵奖”。

此次报告会，Joseph Sifakis关于“Rigorous System Design（严密系统设计）”与在场师生展开了交流。当今社会发展对高机密系统的需要日益迫切，Joseph Sifakis教授从严密系统设计方面展开研究，以此来解决目前遇到的技术障碍。教授在报告中讨论到当前技术水平的限制，提出了系统、科学的系统设计基础方法四项原则等。幽默风趣的讲话风格使得Joseph Sifakis的讲座受到大家的阵阵掌声。讲座结束后，现场的师生踊跃同Joseph Sifakis互动，谈论自己对计算机的领悟和见解，气氛十分热烈，让大家再一次领略了大师风范，同时也让Joseph Sifakis教授感受到西北工业大学同学们的真诚和对知识、对科技勇于探索的精神。

成就无关国界、无关年龄，在今后学术探索的攀越路程中，敢于挑战、敢于质疑、敢于颠覆、敢于创新，这就是我们自己的图灵精神。而Joseph Sifakis的来访，让大家与计算机领域的顶级学术大师面对面，更加深刻的感受到图灵精神的真正内涵，以及对待科学技术客观严谨的求知态度和永不停歇的求知之心！

（审稿：刘小军 编辑：田庆青）