何智涛，男，博士，副教授，硕士研究生导师。现任北京航空航天大学软件测评实验室副主任，中国人工智能学会CAAI会员，国际信息研究学会中国分会人工智能委员会委员。

主要研究方向为软件测试、无穷理论和泛逻辑。包括基于神经网络/深度学习的智能软件测试技术研究，软件测试演化过程模型研究，软件缺陷模型与软件缺陷发现过程模型研究，软件测试与泛逻辑与无穷理论的交叉融合研究。

近年来主持二百多项中办/国办信息系统和安全关键系统测试项目。发表CCF-A/C类、EI等期刊会议论文10余篇，并合作出版学术专著《统一无穷理论》和《泛逻辑理论》。2006年获北京市科技进步三等奖。

主讲本科生课程《软件测试技术》和研究生课程《软件测试》。