应我校计算机学院、计算理论与技术研究所段振华教授邀请，英国德蒙特福德大学（De Montfort University）Benjamin Charles Moszkowski教授于2010年10月18-20日来我校讲学访问。

       10月18日和20日下午，在我校主楼Ⅰ区301室，Moszkowski教授分别做了题为“Turning Temporal Logic on its Head with Time Reversal（用时间倒序转换时序逻辑）”、“Compositional Reasoning using Itl and Tempura（使用itl和tempura进行组合推理）”、“A Complete Axiom System for Proposional Interval Temporal Logic with Infinite Time（无穷模型下的命题区间时序逻辑的完全公理系统）”和“Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals（使用时序逻辑分析时序逻辑，基于时序逻辑的分层方法）”的专题讲座。Ben Moszkowski教授详细地介绍了他的研究小组在时序逻辑这一领域取得的最新进展和主要研究成果，吸引了计算机学院、软件学院和理学院等众多西电师生聆听，大家受益匪浅。此外，Ben Moszkowski教授还在科技楼705室举行了学术讨论会，耐心回答了学生们提出的问题，对同学们的科研工作给予了很大的启发。

       Benjamin Charles Moszkowski教授于1976年在美国加州大学洛杉矶分校获得数学、计算机科学硕士学位，并于1983年在斯坦福大学获得计算机科学博士学位。现为英国德蒙特福德大学计算机科学技术学院软件技术实验室高级研究员，主要从事包括公理系统及其完整性证明、可执行子集、时序投影等与时序逻辑相关的研究工作。

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