安全且个性化的植入式心脏器械
植入式心脏器械（如 ICD）在几乎无需人工干预的情况下诊断生理状态并自主治疗。自主性带来及时干预与更好生活质量，也对安全性与有效性提出独特挑战。与其他领域不同，ICD 与人机生理交互，个体差异大、机理复杂，设计阶段无法穷举所有生理情境，因而可能存在“按设计运行却未按意图运行”的罕见情形，导致严重伤害。当前医疗 CPS 的安全评估多依赖昂贵且非穷尽的临床试验。本方向通过生理建模与形式化框架，将形式化方法与基于模型的设计引入医疗 CPS 的安全与有效性分析，提供可解释的、带生理情境的仿真，辅助医学专家判断系统是否按意图工作。
Haochen Yang
博士研究生
杨昊辰于 2020 年获上海科技大学计算机科学硕士学位，目前于俄亥俄州立大学攻读博士学位。
Mincai Lai
工程师
赖民才为上海科技大学计算机科学硕士（2022 届），现任职于字节跳动。
