9月13日下午13:30，《软件证明技术导引》在6教A205正式开课，来自软件学院和计算机系的30多名本科生、研究生到课听讲。这也是我院自2010年春季学期首次面向本科生试开《形式推理导引》课之后，面向本科生新开的第二门软件理论基础课，也是该系列课程第一次列为学分课程。

该课由法国Joseph Fourier大学及INRIA教授、清华大学软件理论讲习教授组客座教授Jean-Francois Monin主讲，荔建琦博士后任中方合作教师。课程将介绍软件验证的基本原理以及基于交互式定理证明技术的软件验证方法，以期增强本科生软件理论基础知识和素养，培养理论兴趣，为进一步深造打下基础。

近年来，随着载人航天、高速铁路网、新一代核电站等大型科学工程和基础设施建设项目的展开，国家对自主研发高端、核心、基础类信息产品日益重视，而信息系统的可信性、可靠性、安全性等问题也日渐突出。可信验证技术公认是其中的关键性使能技术，但我国在该领域距离国际先进水平尚有较大差距，其现状远不能满足国家中长期发展战略的需求，人才培养问题迫在眉睫。有鉴于此，院长孙家广院士近年来在院内外不同场合曾多次强调计算机专业加强软件理论学科建设的重要性。与讲习教授组合作在本科阶段开设基础课，是我院落实该要求、探索学科建设新模式、把讲习教授组平台上的国际合作引向深入的一项积极尝试。