为进一步帮助计算与智能科学类大一新生深化专业认知、明晰学业与职业规划,软件学院于12月3日在学院路校区主323教室依托传源书院“启航学堂”平台,成功举办“专业认知与专业行”第三场活动。本场活动聚焦关键基础软件、约束求解、云原生系统、大模型训练网络及软件安全等前沿方向,为同学们带来了一场内容扎实、视野开阔的专业认知课。
活动伊始,关键基础软件研究所副所长、副教授、博士生导师罗川系统介绍了关键基础软件研究所的整体情况与研究布局,从国家战略需求、学科发展脉络到研究所的重点研究方向,帮助同学们形成对基础软件领域重要性的初步认知。

随后,罗川老师继续以《约束求解:在“条条框框”中寻找答案》为题,深入浅出地讲解了约束求解的基本概念、核心算法及其在软件验证、芯片设计、人工智能等领域的广泛应用。他通过生动的实例,揭示了这一技术在复杂系统逻辑推理与优化中的强大能力。

软件学院副教授、博士生导师杨任宇围绕《智能化时代云原生软件工程与系统》进行分享。他阐述了云计算与云原生技术的演进,分析了在智能化趋势下,软件工程在开发、部署、运维等环节面临的新挑战与新机遇,展现了云原生技术如何支撑现代软件系统的高效、可靠与智能运行。

最后,软件学院副教授梁杰聚焦《模糊测试研究与实践》。他系统讲解了模糊测试这一重要的软件安全自动化测试技术,从其基本原理、关键技术突破到在发现软件漏洞、提升系统安全性方面的显著成效,结合实践案例,让同学们对软件安全保障体系有了更具体的认识。

为延续专业认知教育的深度与广度,软件学院将继续以启航学堂系列平台为载体,不断推出形式多样、内容前沿的交流活动,助力同学们深入探索软件工程的多维面向,锚定成长路径,为学业进步与长远发展积淀坚实力量。