应计算机学院、计算理论与技术研究所所长段振华教授的邀请，英国牛津大学翁一昊教授于2011年9月1日来我校讲学访问。

      9月1日上午，翁一昊教授在主楼A301室为我校师生作了题为“Verifying Message-Passing Concurrency Automatically”的学术报告。报告中翁一昊教授就其研究方向“并发进程间的通信”向与会师生进行了深入浅出地讲解，并介绍了用于描述并发的Actor 模型。该模型将计算资源组织成独立的、顺序的通信进程，这些进程通过信息传递进行通信。此外，翁一昊教授还介绍了描述该模型的Erlang语言，最后提出了Erlang-style并发程序可达性的验证方法。报告会开阔了广大师生的学术视野，为他们今后在相关方面的研究提供了新的思路。报告会由段振华教授主持，计算机学院50余名师生参加了本次报告会，并在会后与翁一昊教授进行了学术探讨和交流。

      翁一昊教授在英国剑桥大学获得学士学位，在英国帝国理工大学获得博士学位，现任英国牛津大学计算机系教授，主要研究方向涉及计算语义、数理逻辑、计算本性、时序逻辑、博弈语义、模型验证、并行进程间的交互、计算复杂性等方面，并且在上述领域发表了大量的学术论文。 

                                                                  （计算机学院、计算理论与技术研究所、国际合作与交流处）