文章配图-1
国防科技大学计算机学院研究员王戟（中）在图书馆与学生讨论。范军威摄（新华社发）
文章配图-1
国防科技大学计算机学院研究员王戟在大学组织的公开采访上回答媒体提问。 韩启扬摄（新华社发）
究竟是怎样一位王戟呢？
中国科学院院士、分布式系统与软件工程专家王怀民是这样评价他的：“王戟是中国高可信软件技术领域的主要开拓者，二十多年前在国内首次提出‘高可信软件技术’概念。”
王戟将自己的毕生奉献给了军队教学科研事业，已有三十余载。他在高可信软件技术这一“小众硬核”领域坚持不懈地进行自主创新，带领团队解决了一个又一个的技术难题，为保障航空航天、重大武器装备等关键软件的安全可靠作出了卓越贡献。尽管过程充满挑战，他始终保持着积极向上的态度，凭借坚定的意志，在新时代的科研道路上刻下了光辉的印记。
攻坚克难 为国守护
每一棵茁壮成长的大树，都源于当初破土而出的勇气。王戟的人生历程，亦是如此。
1983年，王戟以“执干戈以卫社稷”为名，通过高考考入国防科技大学。同年，“银河—Ⅰ”巨型计算机在国防科大成功研制，这一消息传遍全国，中国成为世界上第三个能独立设计和制造巨型机的国家。刚入学不久的王戟，从老一辈“银河人”身上深刻理解了“使命”的含义——“使命就是党和国家的需要”。
多年以后，王戟依然清晰地记得自己年少时立下的誓言：“我要学计算机”。这份纯粹的初心，化作了日复一日的专注学习：每一堂基础课程，每一次上机实践，都全神贯注。1991年11月，22岁的王戟在入党志愿书上郑重写下：“我是一名党培养起来的军校博士，只有把自己的一生同党的事业、国家的前途、人民的利益联系起来，才能让人生更加充实、更有意义。”
他将入党誓言作为人生的指南针，始终将党和国家需要放在首位，选定高可信软件技术作为基础性、关键性的研究领域，持之以恒地进行探索。
上世纪90年代，中国载人航天“921工程”正式启动，软件工程化成为国防现代化建设的核心要素，而当时国内软件行业尚处于发展初期。年轻的王戟敏锐地意识到，随着我军由机械化向信息化的快速转变，信息系统可能会出现故障，如果没有有效的诊断工具，就会对军事安全构成严重威胁。在与导师——中国工程院院士陈火旺的交流中，他提出了“高可信软件技术”的概念。导师的鼓励，更加坚定了他的信念。
这是一条鲜有人走的道路。当时，国内专门研究软件可靠性的人员屈指可数，相关资料十分有限，甚至没有明确的中文定义。但王戟有着自己的见解：“高可信软件，未来将是国防安全的命脉。国家需要，就值得我为此努力。”
2003年，王戟与陈火旺院士等共同发表的《高可信软件工程技术》，成为国内该领域最早的系统性论文，详细阐述了高可信软件技术的核心框架和未来发展趋势。2004年，他在国内首次开设“高可信软件技术”课程，将这一国际前沿理论系统性地引入研究生课堂。“技术的前瞻性，科研对教学的反哺”，成为这门前沿课程的显著特点。
然而，科研的道路并非一帆风顺。在开发一次复杂的软件验证系统时，团队遭遇了长达数月的技术难题。王戟带领团队仔细研读国外稀少的文献，逐步消化深奥的理论，再结合国防工程的具体需求，不断进行试验和改进。经过数月的艰苦奋斗，终于攻克难关，成功开发出高效的软件可靠性度量工具。研发过程中，团队在多个关键技术上取得突破，包括大规模代码资源分析、缺陷自动检测、演化控制等，保障能力从万行级提升到了千万行级。
砥砺前行 感恩祖国
曾经的王戟在入党志愿书里写道：“我决心在党的培养和教育下，磨练意志，无论在何种艰难困苦的环境中，绝不退缩。”那时的他，未曾想到，多年后，命运会让他在常人难以想象的困境中接受考验。
2013年1月23日凌晨，王戟突发主动脉夹层，被紧急送往医院。这种心血管急症非常危险，经过13小时的心脏手术，他虽然度过了第一道生死考验，但更大的挑战接踵而至，肌肉开始逐渐坏死，最终导致左边大腿高位截肢，右...
