澳门游戏网上官方版

2025年3月6日下午，日本国立九州大学信息科学与电气工程学院教授，上海交通大学访问教授赵建军老师应邀在计算机学院418会议室为我院师生作题为“Towards Building Reliable AI-Enabled Cyber-Physical Systems”的学术讲座，学院教师和研究生参加了此次讲座。讲座由学院院长郭瑞强教授主持。

在讲座中，赵建军教授讲解了如何构建一个可靠的AI-Enabled Cyber-Physical Systems（CPS），涵盖了提升可靠性的三种关键技术：测试，调试和修复，详细介绍了基于时间感知覆盖度的证伪方法，错误定位的方法以及基于搜索的修复策略。最后，赵教授总结了其团队的相关工作并指出了未来的研究方向。

报告结束后，同学们和老师们积极提问，就相关技术细节及应用前景与赵教授进行了深入地交流互动。陈栋副院长对此次交流活动进行了总结发言，高度评价了赵教授的报告，并对赵教授再次表示感谢。此次学术报告不仅为师生们提供了一个宝贵的学习机会，也为大家的研究方向提供了新的技术攻关方法。

主讲人介绍：

赵建军，日本国立九州大学信息科学与电气工程学院教授，上海交通大学访问教授。1987年获清华大学计算机科学与技术系工学学士学位，1997年获日本九州大学信息科学与电气工程学院计算机科学博士学位。1997年4月至2005年10月，任日本福冈工业大学计算机科学与工程系讲师、副教授。2002年4月至2003年3月，在美国麻省理工学院计算机科学实验室担任访问科学家。2005年11月起，任上海交通大学软件学院和计算机系教授（博士生导师）。2016年4月起，任日本九州大学信息科学与电气工程学院教授。主要研究方向包括可信人工智能、量子软件与算法、软件工程和编程语言等。在ICSE、ESEC/FSE、AAAI、ICLR、ASE、PLDI、OOPSLA、ISSTA等国际会议，以及TOSEM、TSE等国际期刊上发表研究论文100余篇。