谢武平，博士，中国计算机学会专业会员、江西省计算机学会理事。主要研究领域包括：可信智能系统、程序分析验证、软件形式化与软件自动化等方面。主持和参与多项课题，在IEEE Transactions on Reliability、Software: Practice and Experience、《软件学报》和《计算机研究与发展》等国内外知名期刊发表论文多篇。邮箱：wupingxie@jxnu.edu.cn.