中国高可信软件技术开拓者王戟：在这条路上一直走下去

中新社长沙7月29日电 (记者 李纯)在中国，一谈到高可信，人们一定会想到国防科技大学计算机学院研究员、博士生导师王戟。他的名字已经与中国高可信软件技术研究牢牢绑在了一起。正是他与导师的一篇论文开拓出“高可信”这片中国计算机科技研究的新领域。 图为国防科技大学计算机学院研究员、博士生导师王戟。中新社记者 赵文宇 摄 说起自己深耕多年的高可信软件技术研究领域，王戟的脸上浮现出笑容，话也多了起来。“我