王戟与科研团队交流。

小时候的王戟。

幼儿时期的王戟。

小时候的王戟。

这是大学时期的王戟在银河楼前留影。

这是博士一年级的王戟（右五）参加军训的画面。

这是王戟（左）博士毕业时和导师陈火旺院士的合影。

论文《高可信软件工程技术》截图。

王戟在北京博爱医院做康复治疗期间工作的画面。

王戟在国防科技大学校园里林荫路上行进。

王戟在2020CCF中国软件大会上致辞。

王戟在医院透析。

王戟在医院透析。

王戟在办公室工作。

王戟在校内训词墙前的画面。

来源：新华社微信公众号

记者：黄明、于晓泉、张瑞杰、张皓凝、王宜玄

编辑：李雨晴