浙江理工大学计算机科学与技术学院（人工智能学院）举办第三届西湖软件论坛暨软件工程学科建设研讨会

值125周年校庆之际，为贯彻党的二十大精神，进一步提升软件工程学科建设水平，加强学术交流，11月5日，计算机科学与技术学院（人工智能学院）举办第三届西湖软件论坛暨软件工程学科建设研讨会。中国工程院院士柴天佑、中国科学院院士何积丰，浙江大学教授杨小虎、北京航空航天大学教授李波、武汉大学教授彭智勇等三位国务院学位委员会学科评议组成员，湖南大学副校长李肯立、南京航空航天大学副校长黄志球、浙江师范大学校长蒋云良，以及华东师范大学、大连理工大学、江南大学、合肥工业大学等多所一流高校专家出席会议，副校长王剑俊致辞。

王剑俊向莅临会议的各位专家表示热烈欢迎，他简要介绍了浙江理工大学及计算机学院软件工程学科的基本情况。他指出，浙江作为数字经济发展的先行省，将全面推进互联网、大数据、人工智能与实体经济深度融合，全面实施“数字浙江”工程，软件是新一代信息技术的灵魂，是数字经济发展的基础。希望以此次论坛为契机，推动学科进一步建设发展，不断增强服务社会的能力，为浙江省“两个先行”贡献更多软件力量。

随后，柴天佑做了题为《端边云协同的工业数字化网络化智能化》的报告，阐述工业数字化网络化智能化发展方向及面临的挑战。他分析了当前国际发展形式，提出工业互联网与工业人工智能紧密融合与协同发展工业数字化网络化智能化新途径。

何积丰做了题为《形式化技术的昨天、今天和明天》的报告。他从历史、发展和国家三个方面出发，探讨了形式化技术的重要地位和作用，介绍形式化技术的发展及其在应用领域的渗透，重点讲解了颠覆性创新应聚焦的三个领域。

下午，举办学科建设研讨会。学院院长丁佐华介绍了学院基本情况、科研平台和团队、社会服务、专业历史沿革和人才培养等方面，会上，与会专家学者们就计算机学院学科建设展开研讨，在学科定位及特色、博士点建设、人才引进、团队建设、校企合作等方面给出了中肯、专业的建议。

论坛由丁佐华主持。本次活动进一步加强了我校和国内一流高校之间的交流和联系，对计算机学院发展和软件工程学科建设起到了积极的推进作用。