为进一步提升yl6809永利水平，2026年6月16日，信息学部邀请武汉大学金芝教授到校指导交流。
学术报告会由信息学部部长甘勇教授主持。软件学院、计算机与人工智能学院相关专业教师及研究生参加了此次报告。报告会上，金芝教授系统介绍了自然语言到信号时序逻辑（STL）自动转换的前沿研究成果。针对STL训练数据稀缺的行业难题，她介绍了微调样本增强方法，深入分析翻译过程中语义模糊、表达歧义、领域谓词偏差等核心问题，展示了高效的分层翻译解决框架。互动交流环节，师生围绕大模型生成效果等热点问题积极提问，金芝教授逐一细致解答。报告会后，金芝教授结合学科发展实际，与软件工程学科骨干教师交流，对我校软件工程博士点建设提出了宝贵指导建议。
金芝教授此次到访带来了大模型与可信软件交叉领域的最新研究动态，有效拓宽了师生学术视野，为软件工程学科科研创新和博士点建设夯实了基础。
附：金芝教授简介
金芝，武汉大学教授，IEEE/CCF/CAAI/AAIA Fellow。兼任中国计算机学会监事长，中国人工智能学会知识工程与分布智能专委会副主任。先后担任973项目首席科学家，国家自然科学基金委青年基金项目（A类），国家重点研发计划专项，以及国家自然科学基金委重点项目等的项目负责人。主要研究领域智能化软件工程，包含知识工程、智能化软件需求工程、和需求驱动的代码生成和演化等。研究成果发表在中国计算机学会（CCF）A类推荐期刊和会议上，6次获 ACM SogSoft Distinguished Paper Awards。任《软件学报》执行主编，《计算机学报》副主编等。