王戟 王戟中国人民解放军国防科技大学教授主要从事分布与并行计算程序设计高可信软件工程方面的研究工作入选中华人民共和国教育部年度长江学者特聘教授