北京邮电大学，副教授，计算机学院，网络与交换技术国家重点实验室。中国计算机学会会员，计算机学会容错计算专业委员会委员，主要从事软件静态分析及测试的相关理论研究工作。在国内外知名期刊及会议上发表SCI及EI论文60余篇，获国家技术发明专利二十余项、软件著作权十余项，出版软件测试相关著作2本。负责研发的软件缺陷检测系统——DTS在全国有500多用户，应用于航天、航空、武器、金融、交通等高可信领域，在嫦娥、天宫和探月工程中得到应用，并取得了较好的经济效益和社会效益。