2月18日，在博学楼A3W301会议室，中国科学技术大学知名教授熊焰应邀来我校开展了一场题为“网络安全协议自动形式化验证系统”的精彩报告。本次报告由副校长李震主持，计算机（大数据）学院副院长（主持工作）戴平、副院长朱洪军、副院长吴锦华及部分骨干教师教师和学生代表参与了此次活动。（图为李震致辞）在报告会上，熊焰教授首先深入剖析了网络协议所面临的安全威胁，以及形式化验证的基本概念和方法。他随后详细介绍了自己团队自主研发的网络安全协议通用全自动形式化验证系统——SmartVerif。该系统在网络安全协议验证领域具有显著的创新性和实用性。熊焰教授还进一步阐述了SmartVerif系统在区块链技术中的应用，以及协议侧信道安全威胁的防范策略。他还分享了关于芯片及软件自动形式化验证的最新研究成果和技术进展。（图为熊焰作专题报告）此次报告会不仅为我校师生提供了一个近距离接触和学习前沿科技的机会，进一步拓宽了学术视野，也加强了我校与中国科学技术大学等国内顶尖高校之间的学术交流与合作，为推动我校学科专业建设

计算机与软件工程学院 0 2025/02/19

校纪委召开2024年度工作总结暨2025年工作计划讨论会 2月15日下午，校纪委组织召开上年度工作总结暨2025年度工作计划讨论会。会议由纪委书记吴晓主持，全体纪委委员参加。会上，吴晓首先对2024年度学校纪检工作进行了全面总结。在过去的一年里，校纪委在上级纪检监察机关和学校党委的正确领导下，坚定不移地推进全面从严治党、党风廉政建设和反腐败斗争，取得了一定成效。通过加强监督检查、严肃查处违纪违法案件等一系列措施，有效维护了党的纪律和规矩，促进了政治生态的持续净化。 （会议现场）随后，会议讨论了2025年的工作计划。会上强调，2025年学校纪检工作坚持以习近平新时代中国特色社会主义思想为指导，全面贯彻落实党的二十大和二十届二中、三中全会精神，深入学习贯彻习近平总书记关于党的建设的重要思想、关于党的自我革命的重要思想、在二十届中央纪律检查委员会第四次全体会议讲话精神，坚决落实党中央关于全面从严治党的决策部署，以更加坚定的决心、更加有力的措施、更加务实的作风，持续推进学校纪检监察工作，以全面从

监察审计处 0 2025/02/18

本网讯 为推进教育数字化转型，赋能教师智慧课程建设能力，2月18日上午，教务处联合科大讯飞技术团队线上举办“课程知识图谱建设专题培训交流会”。各学院智慧课程负责人及骨干教师参与培训，共同探讨人工智能技术赋能教学创新的实践路径。（线上培训）培训会上，讯飞工程师围绕“知识图谱驱动的教学改革”主题展开系统讲解。通过案例演示，专家剖析了知识图谱如何解构课程核心知识点、构建学科知识逻辑网络，并依托智能平台实现个性化学习路径推荐、学情动态诊断等功能。针对教师关注的实操问题，现场展示了知识图谱构建工具的操作流程，涵盖知识节点标注、关系关联、资源整合等关键步骤，为教师后续自主开发提供技术指引。互动交流环节，参训教师结合自身课程特点与技术团队展开热烈讨论。例如，艺术学院教师探讨如何实现图片作业的智能识别与批改，工科教师则关注实践环节与理论知识的融合应用。教务处相关负责人表示，知识图谱建设是推进“AI+教育”落地的重要抓手，未来将建立专项支持机制，为教师提供平台、技术及专家指导，推动校级智慧课程资源库建设。

教务处 0 2025/02/18

寒假之际，为深入宣传国家和学校有关高校家庭经济困难学生资助政策，进一步了解家庭经济困难学生的家庭经济状况及受助后的学习生活情况，1月13日起，电气与电子工程学院全面启动家庭经济困难学生实地回访工作，电气与电子工程学院党总支书记骆军、副书记华静以及各年级辅导员组成慰问团队，深入六安、淮北等地走访慰问15名家庭经济困难学生家庭，用实际行动传递学院的温暖与关怀。在走访过程中，走访人员为贫困学生家庭送去了米面油等慰问品和新年祝福，以实际行动表达学院的关爱与支持。辅导员老师们详细询问了学生的家庭生活情况，耐心听取了家长对学校教育的意见和建议。院领导则向学生及家长介绍了国家和学校的资助政策，鼓励他们积极面对困难，坚定信心，努力学习，争取早日成为社会的有用之才。此外，辅导员老师们还针对学生的学业和职业规划进行了指导，鼓励他们制定合理的学习计划，积极参加社会实践和志愿服务活动，不断提升自己的综合素质和竞争力。此次走访慰问活动不仅让贫困学生感受到了来自学院的温暖与关怀，也让他们更加坚定了克服困难、追求梦想

电气与电子工程学院 0 2025/02/17

律回春晖渐，万象始更新。为全面部署新学期各项工作，统一思想，振奋精神，持续推动学院高质量发展，2月15日下午，电气与电子工程学院在A3W301智慧教室召开了新学期全体教职工大会暨教职工政治理论学习会，会议由电气与电子工程党总支书记、副院长骆军主持。（图为全体教职工大会）会上，骆军带领大家再次重温了国家主席习近平发表的二〇二五年新年贺词全文，并借此祝福各位教职工：梦虽遥，追则能达；愿虽艰，持则可圆，强调要在新的一年里，坚持稳中求进工作总基调，指出2025年是“十四五”规划收官之年，希望全体教职工继续认真学习，鼓足干劲，以实际行动推进学院高质量发展，要把学习成果转化为实际行动，为学院、学校的发展和国家的繁荣贡献自己的力量。(图为骆军领学教职工政治理论学习会)梁美玉从科研工作、学科竞赛等方面作了工作安排，首先她总结了上年度取得的各项竞赛获奖情况，指出各学科竞赛负责人要认真梳理总结各项赛事经验和成果，继续营造学科竞赛浓厚氛围，积极开拓参与和专业契合的权威赛事，结合个性化晚自习梳理学科竞赛培养方案

电气与电子工程学院 0 2025/02/17

新春伊始，万象更新。为确保新学期各项服务保障工作顺利开展，我校后勤管理处提前谋划、精细安排，有条不紊地推进卫生保洁、通勤服务、校园“四害”防治、食堂餐饮保障、校园维修服务、医疗服务等各项准备工作，全力以赴迎接新学期的到来。卫生保洁服务开学前一周，后勤组织物业公司对宿舍区洗衣机、吹风机、空气能等公用设施设备进行了深度检修和清洁，更换了公共区域的开水机滤芯，完善了各项服务配套设施，为师生提供安全、便利、舒适的生活与学习环境。工作人员对校园环境、宿舍、教学区等区域也进行了全面卫生清洁，重点清洗维护了楼宇地面、墙面、天花板等区域，确保不留卫生死角，以干净、整洁、优质的宿舍环境迎接师生返校。（图为工作人员开展保洁维护工作）（图为工作人员更换开水机滤芯）通勤服务保障为确保师生出行安全，后勤对9辆租赁班车开展了安全卫生专项检查。检查重点包括：核查车辆及驾驶员相关证件是否齐全有效；检查安全带、灭火器、破窗锤等安全设施配备情况；对轮胎、制动系统等关键部位进行工况检查；查阅车辆维保记录，确保维护保养到位；检

后勤管理处 0 2025/02/16

为强化校园食品安全监管，筑牢师生饮食健康防线，2月13日、14日，市、区两级市场监督管理局携手赴我校开展食堂食品经营许可资质现场审查工作。此次审查秉持“源头严防、过程严管、风险严控”原则，对食堂功能布局、设施设备及管理体系展开全方位“体检”。检查组深入学校食堂后厨、仓库、就餐区等关键区域。在场地布局上，着重查验粗加工区、烹饪区、备餐区、洗消区、仓库等区域划分是否符合“生进熟出、单一流向”原则，排查是否存在交叉污染风险；硬件设施方面，重点检查紫外线消毒设备、冷藏冷冻设备是否达标，查看食品留样柜、餐具消毒柜、食品加工器械等设备的配备与使用情况，确保设备安全运行。同时，特别关注食堂防鼠落实情况，仔细查看门窗、墙壁、管道等部位，确认有无鼠洞、缝隙等老鼠入侵通道，以及是否安装有效防鼠网、挡鼠板等设施。（图为检查组查看冷藏设施配备及使用情况）（图为检查组查看留样专间设施配备情况）（图为检查组查看食堂仓库设施配备及原料储存情况）检查现场，检查组对我校食堂“智慧餐厅”监管系统、留样一体机系统等创新举措给

后勤管理处 0 2025/02/16

为深入贯彻落实学生资助政策，精准了解家庭经济困难学生情况，进一步增强学生对资助政策的了解，通识教育与外国语学院党总支副书记邓辰以及全体辅导员在2025年寒假期间，走访了学院部分家庭经济困难学生。（图为走访现场1）家访中，邓辰等人细致全面地了解了学生的家庭状况，询问了生活状况、学校资助政策落实等情况，在为学生与家长送去温暖的同时，鼓励学生勇于面对困难，在逆境中自强不息，为实现自己的奋斗目标而不懈努力。学生家长纷纷对学院的关心关怀表示感谢；受助学生也深受鼓舞，表示将不辜负学院和老师的期望，努力学习，以实际行动回报学校和社会的关爱。（图为走访现场2）此次的走访慰问活动让学院更全面、深入地了解家庭经济困难学生的实际状况，在为学生带来物质关怀的同时，更给予了学生精神上的慰藉和鼓励。今后学院将始终如一地关注家庭经济困难学生的成长与发展，持续优化完善资助育人工作体系，全力为学生的成长成才筑牢坚实保障。

通识教育与外国语学院 0 2025/02/16