1964年9月生于安徽肥西，1985年本科毕业于合肥工业大学计算机系，1988年硕士毕业于合肥工大计算机系，1991年博士毕业于中国科学院计算技术研究所，同年进入北京大学计算机系从事博士后研究，1993年8月起任北大计算机系副教授。1997年1月至1999年1月任香港大学电机电子工程学系访问研究员。1999年7月至2000年2月任日本先端科学技术大学院（NAIST）访问研究员。2000年9月起先后任中科院计算所研究员、博士生导师、学位评定委员会副主任、先进测试技术实验室主任、中国科学院计算机系统结构重点实验室副主任。

主要研究：VLSI测试、可测试性设计、高可靠性设计；无线传感器网络。2000年以来，发表学术论文100余篇、授权发明专利25项、软件著作权证书29件。获中国科学院自然科学奖（1992年）、中国科学院杰出科技成就奖（2003年）、北京市科学技术奖（2008年）、中国计算机学会王选奖（2008年）、中国科学院教学成果奖（2008年）；获IEEE计算机学会Certification of Appreciation（2001年、2004年、2007年）。

目前担任中国计算机学会理事、容错计算专业委员会主任；IEEE Asian and Pacific Regional TTTC (Test Technology Technical Council) Vice Chair。担任《计算机辅助设计与图形学学报》副主编、Journal of Computer Science and Technology (JCST), Journal of Low Power Electronics (JOLPE), Journal of Electronic Testing: Theory and Applications (JETTA) 领域编委。