本网讯：（程学勤  图文报道）6月7日下午，我院在志学楼506报告厅成功举办了此次学术报告会，由崔鹏副院长主持，信息学院成戍博士、陈旭博士和王亚洲博士进行了精彩的学术讲座。活动吸引了信息学院近80人师生的热情参与。

成戍博士以“针对FreeRTOS实时系统微内核的形式化建模与验证”为主题开展报告。成戍博士指出：FreeRTOS 作为一个广泛用于嵌入式系统的实时操作系统微内核，以其开源、小巧性、可移植性及流行度而著称。随着其应用领域的扩展，该系统的核心的安全可靠性也备受关注。报告内容包括：讨论使用形式化方法对FreeRTOS进行建模及验证的过程；介绍在基于FreeRTOS形式化模型的基础上，对其源代码运用代码验证器验证的过程所揭示的潜在问题；讨论针对不同软件系统对安全性需求不同的特征，应用不同级别的安全验证方法的可能性，为后续研究和应用提供新的方向。

陈旭博士主要围绕“贝叶斯深度学习模型及在场景理解中的应用”开展报告。陈旭博士指出，近年来贝叶斯深度学习在诸多领域得到广泛应用，效果显著。报告内容包括：将对贝叶斯深度学习框架进行系统性的概述，包括模型不确定性的引入；贝叶斯神经网络、高斯过程、变分自编码器等主流模型的介绍，以及如何使用变分推断求解上述模型的潜在变量分布；介绍贝叶斯深度学习模型在场景理解中的应用。

王亚洲博士以“面向区块链私钥安全技术的研究”为主题，报告围绕以下内容：总结区块链私钥面临的安全性问题；概述基于生物特征的区块链私钥保护方法的可行性；介绍生物特征在私钥生成、存储和使用等三种不同应用角度的一些研究进展；对生物特征在该领域的未来研究工作进行展望。

学术讲座现场气氛热烈，成戍博士、陈旭博士和王亚洲博士与现场师生针对讲座内容开展了交流与互动，现场气氛热烈，三位博士所作报告富有启发性，帮助在场师生了解研究新动态、学习新知识，提升自身的科研能力和水平，对学院的学科交流和学科发展起到了积极的推动作用。