西电新闻网讯 应西安电子科技大学计算机学院、计算理论与技术研究所段振华教授邀请，英国德蒙特福德大学Benjamin Charles Moszkowski教授日前来校讲学访问。

Benjamin Charles Moszkowski教授为计算机学院师生作报告

　　来访期间，Benjamin Charles Moszkowski教授在北校区主楼Ⅰ区301室分别作了题为“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年在斯坦福大学获得计算机科学博士学位，现为英国德蒙特福德大学计算机科学技术学院软件技术实验室高级研究员，主要从事包括公理系统及其完整性证明、可执行子集、时序投影等与时序逻辑相关的研究工作。（完）