2016年6月24日上午，公司计算机科学与技术博士后科研流动站在站博士后时慧娴副研究员在长安校区图书馆西附楼学术报告厅做了题为“时序逻辑的量化方法及其逻辑度量空间的完备化”的出站工作汇报。本次汇报由西北大学数学学院辛小龙教授任主席，公司经理王小明教授、数学与信息科学学院经理吉国兴教授以及两学院的郭敏教授、李志慧教授任评委，公司李永明教授、人事处博士后管理办公室鲜路科长及公司相关课题组的博、硕士研究生参加了本次报告。

时慧娴，副研究员，公司计算机科学与技术博士后科研流动站在站博士后，合作导师李永明教授，主要研究方向为不确定性推理、计量逻辑、模型检测。主持国家自然科学基金2项，发表学术论文10余篇。
    汇报开始前，辛小龙教授对时慧娴博士后和本次出站汇报的情况做了简单介绍。汇报中，时慧娴博士后详细介绍了其在站期间的科研工作情况与取得的科研成果，并围绕汇报主题详细介绍了在线性时序逻辑中利用Kripke语义结构建立时序公式的量化方法与满足度理论，同时基于此展开一系列相关研究，包括线性时序逻辑度量空间的格完备化与度量完备化、时序公式的范式表示与结构化简等。

 汇报结束之后，时慧娴博士后对评委们提出的问题做了详细解答，评委们一致认为时慧娴博士后的研究工作一方面极大地丰富了计量逻辑学的研究成果，探究了计量逻辑学与理论计算机科学相结合的潜在可能，另一方面也为面向应用的模型检测技术提供了严格的逻辑理论依据。整场汇报知识前沿，内容丰富，气氛热烈。最后，公司经理王小明教授对时慧娴博士后表示祝贺，并指出时慧娴博士后是公司博士后流动站的第一位出站博士后，为今后的博士后工作开了一个好头。