郑海洋教授荣获HSCC 2026时间检验奖
2026-06-01 09:40:57 资料来源：郑海洋；文字：小半；编辑：木南
近日，北京大学汇丰商学院金融实践教授、数据中心主任兼金融工程实验中心主任郑海洋的合作论文《混合系统的操作语义》（“Operational Semantics of Hybrid Systems”）荣获第29届“ACM混合系统计算与控制国际会议”（29th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2026）时间检验奖（Test of Time Award）。该论文最初发表于2005年HSCC会议，合作者为美国加州大学（伯克利）电子工程与计算机科学系杰出荣誉退休教授Edward A. Lee。
评审委员会在获奖评语中指出，本文针对混合系统提出了一种连贯且可组合的操作语义，将“超密时间”等经典概念有机整合至统一框架中，实现了数字平台上可预测、定义明确的系统行为。该语义为构建模块化、可扩展的建模语言提供了坚实基础，并成功应用于工业实践（如后续的模型交换与联合仿真标准）。该研究催化了语义学、建模及模型集成领域的后续探索，在HSCC会议内外均具备广泛且持久的学术影响力。
获奖证书
“ACM混合系统计算与控制国际会议”（HSCC）是混合系统计算与控制领域的国际顶级学术会议，聚焦离散与连续动态行为相互作用的嵌入式反应系统研究。会议起源于1997年HART研讨会（HART’97 workshop）后的学术倡议，首届会议于1998年在美国伯克利举行，迄今已举办29届，在计算机科学、自动控制、嵌入式系统等交叉领域享有极高学术声誉。
HSCC“时间检验奖”于2018年HSCC成立20周年之际正式设立，是混合系统计算与控制领域的重要学术荣誉之一，旨在回顾并表彰在HSCC上发表超过10年，经时间验证仍具有重要学术价值与深远影响力的研究成果，致力于嘉奖那些具有前瞻性、奠基性，并对更广泛的计算机科学和控制理论与实践领域产生影响的重要论文。
郑海洋，北京大学汇丰商学院金融实践教授、数据中心主任兼金融工程实验中心主任，美国加州大学（伯克利）电子工程与计算机科学系博士，主要研究领域为资产配置、量化投资、金融科技等，在计算机科学（混合系统与嵌入式系统）领域顶级会议HSCC、EMSOFT，以及控制领域顶级学术会议ACC、CDC、IFAC 等发表论文多篇。
