6月2日，西北工业大学第九届翱翔青年学者论坛软件学院分论坛成功举办。海内外6名青年学者通过网络视频会议方式齐聚软件学院分会场，聚焦软件工程学科国际学术前沿热点，分享最新学术研究成果，开拓学术视野，启迪学术灵感。

论坛由西北工业大学软件学院教授、智能嵌入式软件研究中心主任刘志明主持。海内外青年学者、软件学院教师、相关研究方向硕博研究生200余人参会。

刘志明教授致欢迎辞并介绍论坛参会学者情况。软件学院党委副书记（主持工作）李晗对学院发展概况、科研成果、学科平台及人才引进政策等方面作了简单介绍。他表示，希望通过本次论坛吸引海内外高水平青年教师加盟软件学院的科学研究队伍，为团队注入新的活力，共同推动软件工程学科与专业建设高质量发展。

学术报告环节，6名青年学者围绕形式化验证、图像复原、深度学习、无人机技术、人工智能、模块化编程语言等前沿问题进行精彩报告。

美国伊利诺伊大学香槟分校的陈霄泓博士作了《K：面向通用程序语言的形式化语义框架》的报告，分享了其关于匹配逻辑的最新研究成果；西北工业大学软件学院田春伟副教授作了《基于深度学习的图像去噪方法研究》的报告，介绍了基于双路径、注意力机制、小波变换等卷积神经网络的图像去噪方法；西北工业大学软件学院干红平副教授作了《面向低慢小无人机的管控：导航诱骗技术研究与实现》的报告，其中高质量导航诱骗信号生成技术等关键技术令人印象深刻；英国埃克塞特大学的阮文杰博士作题为《深度学习鲁棒性分析》的报告，并分享其在研课题及未来研究方向；法国国家科学研究中心系统与体系分析实验室的胡皓博士从最优决策树、最优二元决策图方向报告了《基于MaxSAT的可解释机器学习模型的研究》；英国布里斯托大学的张炜昕博士做了《模块化软件开发：编程语言视角》的报告。

国防科技大学、华东师范大学、西南大学、中科院软件所等单位的与会专家和教授，及我院参会教师们根据青年学者们的研究方向和成果提出匹配逻辑定理证明器、图像噪声级别判断、导航诱骗技术实现路径、实验结果验证等专业问题，共同展开了热烈的研究讨论与学术交流，碰撞思想，启发灵感，取得了良好的反响。

刘志明教授在总结中指出，此次分论坛为青年学者搭建了学术交流的平台，加深了大家对西北工业大学及软件学院的了解，为发展壮大国家特色化示范性软件学院师资队伍力量打下了良好基础，助力学校人才培养及“双一流”建设。

图文：汪甜甜

审核：郭培荣 张龙