王戟：用π定义坚韧的国防科大截肢研究员

在国防科技大学计算机学院，王戟的微信头像是一个由代码生成的π符号，这个无限不循环的数字，被他视为简洁而深刻的优美象征。作为高可信软件技术领域的开拓者，王戟用这个符号诠释了对学术的无限追求，也见证了他从2013年双腿截肢到如今依然活跃在科研一线的坚韧历程。

2013年，43岁的王戟因突发主动脉夹层接受手术，最终双腿高位截肢。然而，科研并未因此中断，他在病床上仍与团队讨论技术细节，历时一年多开发出新的软件检测工具，解决了威胁发射安全的软件缺陷问题。2021年，他又因肾功能严重衰竭开始血液透析，从每周两次增至三次，却依然坚持授课和科研。2025年初，他牵头的国防973项目成果荣获军事科学技术进步奖一等奖，目前正筹备申请国家自然科学基金课题。

王戟的科研之路始于少年时期：1969年出生，未满9岁入读常德一中，14岁考入国防科大，师从院士陈火旺，26岁留校任教，33岁晋升教授，38岁获国家杰出青年科学基金。他带领团队攻克军事装备软件缺陷检测等难题，并开设国内首门《高可信软件技术》课程。如今，他正探索人工智能大模型与传统符号主义的结合，带领年轻团队开展前沿研究。从行业视角看，高可信软件技术是保障航空航天等安全攸关系统的关键，王戟的坚持不仅是个人的奋斗，更体现了科研工作者对国家需求的担当。