报告名称：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

报告名称：Network Games Induced Prior for Graph Topology Learning报告时间：5月26日16:00-17:00报告地点：中北校区数学馆201报告摘要:Learning the graph topology of a complex network is challenging due to limited data availability and imprecise data models. A common remedy in existing works is to incorporate priors such as sparsity

报告名称：Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts报告时间：5月22日13：00-13：45报告地点：中北校区数学馆东202会议室报告摘要:Generative pre-trained models power intelligent software features used by millions of users controlled by developer-written natural language prompts. Despite the

报告时间：5月21日10:00报告地点：中北校区理科大楼B211报告一名称：浏览器内核缺陷检测报告摘要:浏览器是用户访问互联网资源的最主要工具。由于浏览器形态多样和功能复杂，极大地增加了代码复杂性，使其安全性和可靠性难以得到保证。浏览器内核存在输入语义复杂、状态空间庞大、渲染行为难验证等特点，使得传统的模糊测试技术难以对其构建高质量输入文法、生成有效测试用例、检测功能性缺陷。本报告将围绕上述三个方面介绍相关研究成果，以及研究成果在主流浏览器上进行的落地验证。报告人简介:周炽金将在2025年6月于清华大学获得博士学位，导师姜宇副教授。此前，他分别于北京理工大学获得学士学位、于清华大学获得硕士学位

报告名称：Neural Control with Certificates for Safe Autonomy报告时间：5月13日10:00报告地点：中北校区理科大楼A228报告摘要:Learning-based methods, such as reinforcement learning, are receiving increasing attention for solving challenging control tasks. However, the lack of safety assurances about learned controllers poses a signi