吉林
手机收到国防科技大学计算机学院研究员王戟同志被国家授予“时代楷模”称号，褒扬他是“冲锋不止的科研尖兵”。
一、主要事迹与贡献深耕“冷门硬核”赛道，为国铸盾。王戟同志30余年如一日，专注高可信软件技术这一基础性、关键性研究领域。他首次在国内提出“高可信软件技术”概念，致力于用数学方法从底层验证软件代码的正确性，为航空航天、重大武器装备等“大国重器”的软件系统提供安全可靠保障，攻克了军事装备软件安全可靠这一关键难关。勇攀科技高峰，成果丰硕。他主持和参与国家和军队重大重点项目20余项，部分成果处于国际领先地位。其牵头完成的某国防973项目相关成果，于2025年荣获军事科学技术进步奖一等奖，为诸多国家战略工程和军队新质战斗力生成提供了坚实支撑。他还积极推动成立中国计算机学会形式化方法专委会，凝聚全国科研力量。身残志坚，生命不息奋斗不止。2013年，王戟同志突发主动脉夹层，历经多次手术导致双下肢高位截肢。2021年，又确诊肾衰竭，需每周进行多次血液透析。面对“九死一生”的磨难，他从未停下科研脚步。在重症监护室、在病房、在透析椅上，他依然坚持查阅资料、指导课题、与学生讨论。他常说：“只要我的脑子好使，手还能用，我就不会停下来。”潜心育人，甘为人梯。作为博士生导师，他培养了120余名硕士、博士，许多学生已成为相关领域的骨干力量。他独创“白板教学法”，注重逻辑推导与思维训练，不仅传授知识，更以自身坚韧不拔的意志和家国情怀为学生种下“高可信人生”的种子。
二、精神品质与榜样意义忠诚于党、矢志强军的坚定信念。从少年考入国防科大起，他就立下献身国防计算机事业的志向。无论顺境逆境，他始终以党和国家、军队需要为己任，把信仰融入日常科研与教学，兑现了“无论在何种艰难困苦的环境中，绝不退缩”的入党誓言。勇攀高峰、自立自强的拼搏精神。他主动选择高可信软件这一起步晚、难度大的方向，直面国外技术封锁，坚持自主创新。在命运重击面前，他以“重启”人生的勇气，将轮椅化作“战车”，在科研高地上继续冲锋，展现了科技自立自强的时代担当。感恩奋进、无私奉献的高尚品格。他深知个人成长离不开组织培养、团队支持和家人付出。他将感恩化为动力，与家人相互成全，共同投身国防科技事业；他珍惜时间，将每一秒都流向科研最前沿，体现了“把论文写在祖国大地上”的自觉。
学习好楷模精神，普通人干劲十足搞钱？
时代楷模
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
