王戟

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

参考资料 

中国人民解放军国防科技大学教授
长江学者特聘教授