永不折戟的科研尖兵

——记国防科技大学计算机学院研究员王戟

摄影并撰文/朱明辉 记者 栾 铖 特约记者 许 鑫


1983年,不满14周岁的王戟考入国防科学技术大学,学习计算机专业。博士毕业留校工作后,他锚定国家重大战略需求,投身高可信软件领域研究,是国内该领域主要开拓者。2013年,王戟突发主动脉夹层导致双下肢高位截肢;2021年又确诊肾衰竭,需长期进行血液透析治疗。接连而至的病痛打击,并未击溃他的梦想。他以轮椅为战车,继续向国防科技自主创新高地发起冲锋。他带领团队主导研发的高可信软件分析验证工具等创新成果,广泛应用于航空航天、武器装备等领域。他说:“只要脑子还能思考,手还能动,我就不会停下。”


国防科技大学计算机学院研究员王戟近照。


清晨5点,晨曦微露,国防科技大学计算机学院研究员王戟准时起床,拿起放在床头的文献资料,一边看一边思索。早起阅读,是他多年来养成的习惯。

早上7点,学校通勤车在楼下等候。轮椅抵近车门,只见王戟一只手牢牢抓住车门框把手,一只手扳住车内座位边缘,深吸一口气,依靠双臂和腰腹力量将整个身体腾空挪起来,随后稳稳坐在副驾驶位上。

在学校食堂吃完早餐,王戟便抵达办公室,开始了一天的忙碌。墙上的时钟“嘀嗒”走着,茶杯里的水冒着热气,一切如此平常宁静。

这就是他的世界,看似很小,每天都沉浸在代码中;他的世界又很大,一串串数字牵动着信息化战场的“千军万马”……


王戟外出乘车时,坚持自行上车。

王戟(左三)与年轻教员讨论课题。

王戟在办公室工作。


9点30分,王戟端坐在电脑前,面向镜头主持一场线上科研项目研讨会。他全程牵头组织,和学界同仁就某一重点项目的技术瓶颈、研发进度、后续工作计划等内容,进行深入研究。会议一直持续到11时50分,王戟全程专注,久坐不适便轻微调整身姿。

上世纪末,随着航空航天、重大装备等领域的发展,国际上关于软件质量控制和把关的竞争日益凸显。2000年,王戟与导师陈火旺院士在国内率先提出“高可信软件”技术概念,系统构建理论框架与技术体系。

那时,国内研究这一领域的人寥寥无几,相关资料极度匮乏。王戟带领团队潜心攻关,先后攻克装备软件漏洞排查、安全验证、可靠性度量等一系列难题,闯出了一条自主可控的新路,为国家和军队关键软件装上“安全锁”“防护阀”,守住数字领域的安全底线。

中午12点,结束一上午高强度的工作,王戟前往校园食堂就餐。他的饮食清淡简单,却喜欢添上两勺鲜辣椒调味。

2012年,国内某关键装备系统出现疑难软件缺陷,现有检测工具、技术体系均无法排查破解,相关单位多方求助无果后,辗转找到王戟团队。

就在项目攻坚进入冲刺阶段时,王戟因突发疾病倒下,导致双腿高位截肢。

“我很幸运,两只手还能动,基本工作条件没有损失。”从重症监护室醒来,没有追问自己的病情,也没有抱怨命运不公,他把电脑架在病床上,只要条件允许就开线上会议、写软件代码。通过1年多的接续攻坚,他带领团队成功解决了软件顽疾。


王戟为学生做学术讲座。(摄影/周富敬)

王戟(右二)指导学生研究课题。

王戟(左)在博士学位论文答辩现场发言。

王戟(左一)在党课上讲述自己的成长历程。


2015年春节过后,王戟重返工作岗位。他主动请缨,担任某重点国防项目技术首席专家。2021年,在王戟的带领下,该项目顺利通过验收。就在此时,他的身体再次亮起红灯——因肾衰竭每周需进行血液透析。

下午2点,王戟按时赶到医院进行透析治疗。每周3次、每次4小时,他与病痛进行着持续的博弈,手臂上的褐色瘢痕是常年穿刺留下的印记。

透析时,他在休息之余,坚持用手机看学生的论文。在王戟眼中,学生取得成长进步,是最大的成功。他在国内率先开设《高可信软件技术》研究生课程,将艰深的理论与鲜活的案例结合,并将科研经验、前沿技术毫无保留地分享给学生。王戟常对团队和学生说:“科研不是追热点的短跑,而是一场与国家需求同频共振的马拉松。国防科大的博士,要做‘卡脖子’的攻坚者,而不是追热点的逐利者。”30多年来,他始终以冲锋姿态奋斗强军,以自强精神勇攀高峰,取得军事科学技术进步奖一等奖、国家科学技术进步奖二等奖等奖项,荣立个人二等功1次、三等功2次。

在学生心中,失去双腿的王戟,是讲台上最矮的人,却是耸立在人才培养高地上最高的人;轮椅上的他,是校园里走得最慢的人,却是向着科研高地奔跑得最快的那一位……


王戟到学院运动会现场为参赛选手加油鼓劲。

王戟接受透析治疗时,在手机上阅览学生论文。(摄影/何书远)

王戟接受透析治疗。



轮椅上的冲锋

撰文/记者 栾 铖

为记录王戟研究员最真实的工作状态,我选择静候一旁,全程纪实拍摄,确保不干扰他的工作。

镜头里,是他伏案攻坚、不舍昼夜的坚持,是他悉心指导学生、逐字打磨论文的严谨,是他主持学术研讨时不顾疲惫、深入交流的专注。这些未经雕琢的日常瞬间,展现出新时代国防科技工作者矢志强军、锐意创新、勇攀高峰的优秀品格。

常年饱受病痛困扰的王戟,并未将个人疾苦呈现在镜头前。他淡泊名利,不慕浮华,将满腔赤诚与坚韧,毫无保留地奉献给科研攻关和为战育人的崇高事业。在他心中,实干报国无须渲染,科研成果的突破、育人园地的硕果,就是科研工作者最闪亮的勋章。

采访尾声,恰逢计算机学院举办运动会,王戟现身赛场,为拼搏的选手加油鼓劲。这充满温情的画面,让我得以窥见他内心的温柔与热忱。

深耕科研沃土,坚守育人阵地,身患沉疴却初心如磐——这,便是王戟数十年如一日,用行动书写的忠诚与担当。


休息时,王戟(前)与学生在校园里交流。




编辑/肖 晔