为了促进学科交叉与人才成长，助力科技创新与社会发展，5月7日下午，由数学科学学院和软件工程学院联合举办的交叉学科交流会在数学楼102举行，交流会由数学科学学院副院长罗栗和软件工程学院副院长张民共同主持，吸引了相关学科众多师生踊跃参与。
会议伊始，罗栗代表数学科学学院对到会的嘉宾表示热烈欢迎，介绍了举办此次交流会的目的，以及与兄弟学院前期酝酿沟通的情况。随后，张民介绍了软件工程学院在科研方面的成果和特色，引导参会教师提出想法和意见，为后续的学科交叉合作讨论提供了丰富的背景信息。
在学术报告环节，五位学者分享了最新研究成果。
软件工程学院李建文教授以《模型检查性能的可解释性研究》为题，探讨了如何提升复杂系统验证的透明性。
河口海岸科学研究院彭忠研究员通过《波浪之舞：海岸盐沼湿地的波浪变形与衰减》，展示了自然动力学与生态保护的交叉研究。?
软件工程学院王培新青年研究员介绍了概率编程中后验概率的静态分析方法，为人工智能领域提供了新思路。?
计算机科学与技术学院王祥丰教授提出了一种基于大语言模型的SAT求解代码生成框架“SolSearch”，引发热烈讨论。
数学科学学院叶青杰博士则聚焦现实问题，解析了无线通讯中的资源分配优化策略。?
自由交流环节中，与会教师就学科交叉中的技术细节、数据来源、合作机制等问题进行了深入探讨，并提出了许多富有建设性的意见和建议，为未来联合攻关奠定了基础。
本次交叉学科交流会，是数学科学学院党委与软件工程学院党委在滴水湖国际软件学院开展联组学习之后，再度携手举办的学术交流会议。据悉，两院在4月10日开展的交流研讨中，双方就科研项目合作、人才联合培养、学生实习实践、社会服务拓展等方面达成行动合作意向。值得一提的是，后续软件工程学院还计划在普陀校区再举办一场学术研讨会，进一步深化双方交流与合作。
