6月13日-14日，操作系统内核分析及形式化验证专题研讨会在122cc太阳集成游戏东主楼召开。研讨会邀请北京科银京成技术公司朱明远，中国科技大学冯新宇、郭宇、华宝健，北京语言大学陈鹏等专家，我系软件所系统软件相关师生十余人参加。研讨会首先由中国科技大学郭宇副教授介绍了中科大近年来在操作系统内核形式化验证方面的研究，随后大家研讨了操作系统内核形式化验证的技术路线和方案，大家针对此方向的困难和存在的问题等相关话题进行了深入探讨。安全关键领域操作系统内核的形式化验证是关系到国家安全的重要工作，此次研讨会对我系正在开展的相关领域的研究工作起到良好的促进作用。