跳至內容

王戟

維基百科,自由的百科全書

王戟中國人民解放軍國防科技大學教授,主要從事分布與並行計算程序設計、高可信軟件工程方面的研究工作。入選中華人民共和國教育部2009年度"長江學者"特聘教授[1]

參考資料

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