报告标题：Toward Efficient Verification of the Finite Variant Property报告时间：4月21日14：00-15：30报告地点：理科大楼B1002报告摘要：Modern security protocols are used everywhere, from online banking and messaging apps to digital authentication systems. To ensure that these protocols are secure, researchers often rely on forma

报告标题：Tuning into my heart through wearables: towards a formal cardiac digital twin报告时间：1月4日13：00报告地点：理科大楼B211报告摘要：Digital Twins (DTs) mimic a physical system using a digital version of the real system. While these have been explored in many domains,digital twins of human organs are yet to be created

报告标题：Securing AI System from A Lifecycle Perspective报告时间：12月18日13：30报告地点：理科大楼B1002报告摘要： As artificial intelligence systems become embedded in critical domains, from healthcare and finance to autonomous systems and national infrastructure, securing them is no longer optional. This talk examines the f

报告时间：10月30日 10:30报告地点： 数学馆201报告名称：AI Flow: Towards Ubiquitous Edge Intelligence with Large Models报告摘要:This talk explores how large AI models and communication systems can be co-designed to enable ubiquitous, low-latency intelligence at the network edge. In the first part, we present task-oriented co

报告时间：10月17日 10:00-11:00报告地点：出版社报告厅报告名称：Bringing AI to Autonomous Systems报告摘要:Autonomous systems are distributed systems composed of agents, each pursuing its own goals, but which must coordinate to satisfy the overall goals of the system.Main points covered:1. We analyze the characteristics of auton

报告时间：9月24日 14:30-15:40报告地点： 滴水湖国际软件学院5楼502会议室报告名称：Multi-Agent Collaborative Framework for Automatic Programming报告摘要:With the rapid advancement of Large Language Models (LLMs), LLM-based approaches have demonstrated strong problem-solving capabilities across various domains. However, in automatic pro