报告标题：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

报告时间：9月23日 14:00报告地点： 理科大楼B1002报告名称一：Logic time in real-time embedded design报告摘要:We study the use of Multiform Logical Time, as embodied in Esterel/SyncCharts and Clock Constraint Specification Language (CCSL), for the specification of assume-guarantee constraints providing safe driving rules relate