个人简介
教育背景 2000.9-2003.10 北京航空航天大学工程系统工程系，获工学博士学位 1984.9-1987.1 北京航空航天大学自动控制系，获工学硕士学位 1980.9-1984.7 北京航空航天大学自动控制系，获工学学士学位 奖励与荣誉 2010年获国防科技成果一等奖 2000年获国防科技成果二等奖
研究领域
软件可靠性评估与测试验证；软件保证举证;软件可信性
学术兼职
IEEE计算机协会会员 IEEE可靠性协会会员
教育背景 2000.9-2003.10 北京航空航天大学工程系统工程系，获工学博士学位 1984.9-1987.1 北京航空航天大学自动控制系，获工学硕士学位 1980.9-1984.7 北京航空航天大学自动控制系，获工学学士学位 奖励与荣誉 2010年获国防科技成果一等奖 2000年获国防科技成果二等奖
软件可靠性评估与测试验证；软件保证举证;软件可信性
IEEE计算机协会会员 IEEE可靠性协会会员