王戟,1995年国防科技大学获工学博士学位。国防科技大学计算

 机学院计算机系教授。 主要研究领域为高可信软件技术,Agent

 软件方法学。 现任中国计算机学会软件工程专业委员会副主任。

《计算机学报》编委，《软件学报》编委。国际信息处理联合会

 中国委员会委员及IFIP TC8中国代表中国计算机学会软件工程专

 业委员会副主任委员。 获军队科技进步奖2项，发表论文47篇，

 申请发明专利1项。

 E-mail: ji.wang@263.net