高可信软件技术研究

他是国防科技大学计算机学院研究员，是不满14岁考上大学的少年英才，是43岁高位截肢后仍坐着轮椅冲锋在科研一线的领军人才，是用一篇论文开创了中国高可信软件技术研究领域的开拓者。