据新华社北京9月28日电 中央宣传部、教育部、科技部、国家国防科工局、中央军委政治工作部、湖南省委于9月28日在北京人民大会堂联合举行“时代楷模”王戟同志先进事迹报告会。

　　王戟同志是国防科技大学计算机学院研究员、博士生导师，我国高可信软件技术领域主要开拓者。他长期奋战在军事教学科研一线，带领团队构建高可信软件理论框架与技术体系，研发了系列软件验证平台和检测工具，为保障多项重大装备关键软件安全可靠作出重要贡献。王戟同志在遭受重大疾病打击、高位截肢的情况下，仍以坚韧意志和乐观精神坚守战位、忘我奋斗，持续开展研究攻关，取得了多项达到国际先进水平的创新成果，培养了一批高可信软件技术骨干人才。他积极发扬党和人民军队的优良传统，家风淳朴、生活简朴，其家庭被评为全国文明家庭。2026年7月，中央宣传部授予他“时代楷模”称号，褒扬他是“冲锋不止的科研尖兵”，号召广大党员干部和部队官兵向他学习。