何智涛，男，博士，讲师，硕士研究生导师。现任北京航空航天大学软件测评实验室总工程师和测评工程部负责人，中国人工智能学会CAAI会员，国际信息研究学会中国分会人工智能委员会委员。

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

近年来主持几十项中央办公厅/国务院办公厅和国家党政机关信息系统测试横向项目，并主持参与多项自然科学基金、总装型号软件研制、航空基金和领航基金等纵向项目。学术成果在计算机专业领域SCI（E）检索的国际期刊、计算机领域国家一级期刊和国际会议上发表SCI检索、EI检索论文10余篇，并合作出版学术专著《统一无穷理论》。2006年获北京市科技进步三等奖。

主讲本科生专业必修课《软件质量保证与软件测试技术》。

电话： 13501122817