王戟

维基百科,自由的百科全书

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

参考资料

  1. ^ 王戟教授报告会—MPI程序的符号执行. www.ise.neu.edu.cn. [2022-05-20].