王强，瑞士洛桑联邦理工学院 计算机科学与技术专业博士，军事科学院副研究员、硕士生导师、西南大学兼职教授，军委科技委某专家组成员。主要研究方向：可信软件理论、软件形式化方法、数据链系统与技术。发表CCF推荐期刊及会议论文20余篇，出版专著1部；承担及参与高新科技项目4个，累计经费超过5000万元。