个人简介： 教授，博士，博士生导师。可信智能软件实验室负责人，中国计算机学会系统软件专委会、航空学会测试专委会委员，国际期刊Atlantis Highlights in Engineering主编，Knowledge-based Systems高级编委、IEEE Transactions on Reliability和International Journal of Computational Intelligence Systems编委，国际会议ISSRE2020、PRDC2019，DASC2019，QRS2021等的大会主席或程序委员会主席。主讲：离散数学（信息类）、软件可靠性工程、应用离散数学、C语言程序设计。
主要研究方向：
可信智能软件，软件可靠性与测试。
已主持国家级项目（及课题）10余项，获得授权技术发明专利21项。研究成果获航空学会技术发明二等奖，省部级科技进步一等奖，省部级技术发明二等奖和省部级科技进步三等奖各一项。入选北京市青年英才计划。
办公地点：新主楼B1123
个人主页：shi.buaa.edu.cn/zhengzheng
