报告名称：Software Reliability Growth Model Averaging: Theory and Empirical Validation报告时间：7月29日15:00报告地点：滴水湖国际软件学院502报告摘要:Accurate prediction of the cumulative number of software faults as well as quantitative software reliability has been still a challenging issue in software reliability for a long

报告名称：Frontiers in Intelligent Software Data Analytics: An Initial Exploration报告时间：7月29日15:00报告地点：滴水湖国际软件学院502室报告摘要:Intelligent Software Data Analytics has long been a focal research topic in software engineering. With the emergence of new AI technologies such as deep learning and large language mo

报告名称：量化气候健康风险：时空建模与人群健康风险评估报告时间：7月28日14:30报告地点：理科大楼B211报告摘要:气候变化背景下，极端天气事件日益频发且烈度增强，给人类健康带来了前所未有的挑战。本次讲座将重点探讨如何结合高分辨率的时空气象数据与流行病学研究设计（如队列研究、时间序列分析、病例交叉设计），采用time-varying Cox模型、贝叶斯时空统计等方法，定量评估气候因子（如气温、降水）的健康风险。相关研究方法有助于厘清气候与疾病之间的关联机制，识别高风险人群与区域，为精准干预与早期预警提供实证依据。报告人简介:奚迪，本科毕业于华东师范大学地理科学学院，硕博就读于英国帝国理工学

报告一名称：Safety, Ethics and Frontier AI Models报告时间：7月24日17:00报告地点：滴水湖国际软件学院502室报告摘要:The developers of Foundation AI models, e.g. OpenAI, have “signed up” to Foundation AI Safety Commitments (FAISC) which, in some cases, include using safety cases. However, the approaches to safety cases adopted to supp

报告名称：Trustworthy Systems: Machine learning and more formal challenges报告时间：7月14日11:00报告地点：滴水湖国际软件学院408室报告摘要:A key focus of his presentation will be a comprehensive study involving a cardiac arrest hotline, where his team undertook a thorough assessment of trustworthiness and ethical compliance. This

报告名称：Agent的理论与实践：以通用Agent和领域Agent为例报告时间：5月26日13:00报告地点：理科大楼B211报告摘要:随着大型语言模型技术的迅猛发展，Agent 作为桥接LLM能力与实际应用场景的核心纽带，正在深刻变革软件工程及跨领域任务处理的范式。本演讲将聚焦通用Agent（如OpenManus）与领域Agent（如SWE Agent）的理论基础与实践应用，系统剖析其核心设计理念、技术实现机制及未来发展趋势，为研究人员与开发者提供深入的理论洞见和实用指导，助力推动 Agent 技术的创新与落地。报告人简介:梁新兵，华东师范大学软件工程学院硕士研究生，本科毕业于广州大学，Op