轮椅上的科研人生

国防科技大学计算机学院研究员、博士生导师王戟在长沙接受采访时，讲述了自己在突发重病失去双腿后的工作与生活。2013年，他因主动脉夹层多次手术后脱离生命危险，随后把人生视为“第二次生命”，逐步在轮椅上恢复科研、教学和出差能力。 王戟长期从事高可信软件技术研究，较早在国内倡导相关概念，并与合作者发表系统性论文，推动这一领域在教学和工程实践中的发展。后来，他仍坚持带领团队攻克软件验证难题，培养研究生和技术骨干，推动相关成果达到国际先进水平。 文章还提到，王戟自2021年起因肾功能受损需要定期透析，但他依然按治疗安排工作，在病房里开会、改论文、指导学生。他说，科研和教学都不能放下，希望所做的技术能在国家关键领域发挥可信、可靠的保障作用。