论坛现场
6月11日下午，公共基础学院在高淳校区智圆楼B529会议室举办计算机课程组教学科研论坛。计算机课程组全体教师、教学秘书参加论坛。论坛由公共基础学院院长张从军教授主持。
计算机课程组负责人杨振鹏老师围绕科研论文发表流程与方式作了分享报告。他系统介绍了论文发表的完整流程、选题与写作的规范性、期刊筛选的匹配原则、投稿与审核的注意事项及修改与录用的关键环节。他强调投稿需确保逻辑清晰、数据真实，严格遵守学术道德。此外，他还对比了中文核心与外文核心期刊的发表难度。
计算机课程组杨畅老师以《Formal Methods与AI：研究与教学的交汇点》为题作了报告。他结合个人学术背景，介绍了其在π-演算建模并发系统及Web服务等领域的研究成果，并分享了将形式化方法与人工智能结合的创新方向，如AI模型的安全性验证及在自动驾驶、医疗诊断等场景的应用。杨老师表示，他计划开设人工智能导论通识课，并将继续深化形式化方法与AI的融合研究。
张从军教授分别对两个报告进行了针对性点评，并充分肯定了这两个报告的认真准备和学术水平，并对两个报告中提到的相关问题阐述了自己的看法。
他希望老师们围绕教学内容优化、学术论文写作、科研项目申报等方面展开深入研讨。通过在论坛中碰撞思想、互学互鉴，共同提升教学科研水平。
最后，与会教师就教学科研中的相关问题展开了讨论，论坛学术氛围浓厚，取得了预期效果。
