新闻网讯（通讯员 郑然）4月21日，计算机学院计算机科学与技术专业建设50周年学术论坛举行。计算机学院党委书记易辉参加论坛并致辞。计算机学院金海教授、廖小飞教授、吴松教授、石宣化教授依次主持论坛。学院师生60余人参加论坛。
北京航空航天大学李昂生教授、浙江理工大学丁佐华教授、江西师范大学薛锦云教授、重庆大学廖晓峰教授、中国科学院软件研究所张健研究员、中国科学院软件研究所詹乃军研究员、新加坡国立大学何丙胜教授参加论坛并作主题报告。他们围绕信息世界的数学原理、智能制造中的软件理论与方法、新概念循环不变式及其在软件正确性验证中的应用研究、分布式机器学习的优化与安全、软件测试与分析、模型驱动的复杂安全攸关嵌入式系统形式设计理论及开发环境、联邦学习系统：数据孤岛上的有效和高效机器学习系统等分享了研究工作和最新研究进展，参会师生围绕相关专题与专家们展开了深入的交流和探讨。
今年是计算机学院专业建设50周年，为进一步推动学院学科发展，汇聚各方智慧，凝聚全院力量，学院将持续举办专业建设50周年学术论坛系列活动，立足科技自立自强，结合学习贯彻习近平新时代中国特色社会主义思想主题教育，邀请国内外知名专家学者，围绕不同专题开展学术交流研讨，进一步拓展师生视野，抢抓机遇，加快推进计算机科学与技术一流学科建设，为推动建设教育强国、科技强国、人才强国作出更大贡献。
