滴水湖畔，一场关乎未来科学走向的智慧碰撞如期而至。2025年10月23日，作为2025世界顶尖科学家论坛（WLF）的先锋序章，“可信软件智能化方法学术研讨会”在华东师范大学滴水湖国际软件学院成功举办。本次研讨会由上海临港科技创新基金会和华东师范大学联合承办，以“未来科学：上海与世界”为主题，聚焦人工智能与软件工程的交叉领域，汇聚全球顶尖智慧，共探智能时代的可信之道。
这不仅是一场学术会议，更是一次跨越学科壁垒、连接今日菁英与未来力量的深度对话。
这场跨学科对话迎来了一位特别的领航者
——2013年诺贝尔化学奖得主、世界顶尖科学家协会副主席、斯坦福大学教授迈克尔·莱维特（Michael LEVITT）。
作为最早将计算机模拟引入化学研究的先驱者之一，迈克尔·莱维特教授的到来为这场跨界对话带来了独特的深度与视野。从分子动力学模拟到智能软件系统，他开创的多尺度模型方法，不仅让化学研究迈入信息化快车道，更为理解复杂系统提供了重要启示。迈克尔·莱维特教授的科研历程本身就是一部科学范式演进的生动见证。
同期出席的还有牛津大学计算机科学副教授阿米尔·戈哈沙迪（Amir GOHARSHADY）以及华东师范大学化学与分子工程学院教授姜雪峰（JIANG Xuefeng）。在人工智能重塑科研范式的今天，三位学者联袂登场，共同引领这场探索智慧边界的旅程。
围绕“可信智能时代的科学范式与责任边界”，三位科学家与在场学子展开深度交流。整场讨论在融合开放的氛围中进行，现场气氛热烈。
同学们从学习科研实际出发，提出了一系列富有洞察力的问题：如何辩证看待AI生成内容的可靠性？在自动驾驶等安全关键领域如何平衡技术创新与系统可信度？又该如何构建既保障问责又尊重隐私的监管框架？专家们结合各自领域作出回应：迈克尔·莱维特教授以化学实验为例，强调真实验证对AI预测的不可或缺性；姜雪峰教授则提出“AI承担重复性工作，科研人员专注创新探索”的务实路径；阿米尔·戈哈沙迪副教授通过智能合约与轨道交通的对比，阐释可验证算法在关键系统中的优先地位。
在专题报告环节，阿米尔·戈哈沙迪、姜雪峰以及软件工程学院（滴水湖国际软件学院）青年研究员王培新三位学者分别结合自身研究领域，从理论前沿与创新实践的多维视角进行分享。
阿米尔·戈哈沙迪作题为《Scalable Program Analysis via Decompositions of Control-flow Graphs》的报告，在剖析现代软件因规模庞大和博弈特性所面临的严峻验证挑战的同时，提出了引入参数化复杂度理论与树分解方法的创新解决方案。
姜雪峰在《AI for Chemistry》报告中指出，人工智能正深刻重塑化学研究范式，他以智能算法加速分子设计、反应预测过程等化学的自动化实践为例，生动阐释了AI驱动的研究范式对于提升各领域研发过程的可靠性、自动化与智能化水平所具有的积极意义。
王培新作题为《Structural Abstraction and Refinement for Probabilistic Programs》的分享，该研究聚焦于概率程序的可靠性验证难题，提出以“结构抽象与精化”为核心的新方法，为差分隐私、随机算法等关键场景中的软件可信性分析提供了新的技术路径。
作为2025世界顶尖科学家论坛的重要衍生论坛，本次联合承办的学术研讨会成功搭建了跨学科交流的高层次平台。自七年前世界顶尖科学家论坛在上海创设以来，临港与顶科同频共振，每年金秋，世界“最强大脑”齐聚滴水湖畔，聚焦全球科技前沿，持续推动融合创新，为构建开放互信的科学未来贡献智慧与力量。
图文来源：华东师范大学软件工程学院
