王戟，国防科技大学计算机学院研究员。他不满14周岁考入大学、33岁评为教授、38岁获评国家杰出青年科学基金，还是我国高可信软件技术领域的主要开拓者，研发了系列软件分析验证工具，为保障航空航天、重大武器装备等领域关键软件安全可靠做出重要贡献。但在43岁正值全力奔跑的年纪，王戟突发主动脉夹层导致双下肢高位截肢，2021年起因肾脏衰竭每周需进行血液透析……坐在轮椅上的他，依然没有停止向科技高地奔跑的脚步。近年来，他荣立个人二等功1次、三等功2次，2025年被评为“全国自强模范”。
王戟，国防科技大学计算机学院研究员。他不满14周岁考入大学、33岁评为教授、38岁获评国家杰出青年科学基金，还是我国高可信软件技术领域的主要开拓者，研发了系列软件分析验证工具，为保障航空航天、重大武器装备等领域关键软件安全可靠做出重要贡献。但在43岁正值全力奔跑的年纪，王戟突发主动脉夹层导致双下肢高位截肢，2021年起因肾脏衰竭每周需进行血液透析……坐在轮椅上的他，依然没有停止向科技高地奔跑的脚步。近年来，他荣立个人二等功1次、三等功2次，2025年被评为“全国自强模范”。
