报告题目：智能化与形式化共促人机物融合软件自动生成
报告摘要：人机物融合系统HCPS成为发展趋势，为了更好管理各种人机物资源、正确可信地实现具体任务场景，需要以软件为核心进行人机物融合，而灵活、自动、高效地生成HCPS软件具有重要意义。报告对人机物融合系统的发展及相关软件自动生成方法进行了简要回顾，然后介绍了课题组近来将人工智能与形式化方法结合，共同促进HCPS软件自动生成能力的一些工作，并对未来发展进行了探讨。
报告人简介：董威，国防科技大学计算机学院教授、博士生导师，主要研究方向为高可信软件技术、智能化软件开发方法，中国计算机学会形式化方法专委会副主任、软件工程专委会执行委员。入选教育部新世纪优秀人才支持计划，曾获中国计算机学会首届NASAC青年软件创新奖、霍英东基金会高校青年教师奖等。先后主持国家和国防课题20余项，发表学术论文80余篇，出版国家级规划教材两部，相关成果应用于航空航天、装备控制、自主基础软件等关键领域。
报告时间：2025年6月6日14:30
报告地点：数学与统计学院四楼会议室
主办单位：湖北民族大学数学与统计学院
联系人：孙全
欢迎广大师生参加！