| 现任职务: |
| · |
计算所研究员, 博士生导师; |
| · |
计算所学位评定委员会副主任, 教育工作指导小组成员; |
| · |
中科院计算机系统结构重点实验室常务副主任; |
|
| 社会兼职: |
|
|
中国计算机学会(CCF)理事;容错计算专业委员会主任; |
|
· |
《计算机辅助设计与图形学学报》副主编; |
|
· |
Journal of Computer Science and Technology (JCST) 领域编委; |
| · |
Journal of Electronic Testing: Theory and Applications (JETTA) 编委; |
|
|
| · |
Journal of Low Power Electronics (JOLPE) 编委; |
|
|
IEEE Senior Member; |
|
|
IEEE Asia Pacific Regional TTTC Vice-Chair; |
|
|
IEEE Asia Test Symposium (ATS) Steering Committee Vice-Chair; |
|
|
IEEE Workshop on RT and High-Level Testing (WRTLT) Steering Committee Chair; |
|
| 学术会议任职: |
| · |
General Co-Chair, IEEE 16th Asian Test Symposium, Oct.9~11, 2007, Beijing, China, (http://ats07.ict.ac.cn) |
| · |
General Chair, 8th Workshop on RTL and High-Level Testing, Oct.12~13, 2007, Beijing, China, (http://wrtlt07.ict.ac.cn) |
| · |
大会共同主席, 第4届全国测试学术会议, Aug.7~8, 2006, 北戴河 |
| · |
Conference Co-Chair, 9th International Conference on Computer-Aided Design and Computer Graphics, Dec.7~10, 2005, Hongkong |
| · |
程序委员会共同主席, 第13届全国计算机辅助设计与图形学学术会议, Aug.16~20, 2004, 合肥 |
| · |
Program Co-Chair, IEEE 12th Asian Test Symposium, Nov.16~19, 2003, Xi'an, China |
| · |
General Chair, 4th Workshop on RTL and High-Level Testing, Nov.20~, 2003, Xi'an, China |
| · |
程序委员会主席, 第10届全国容错计算学术会议, Sept.22~24, 2003, 北京 |
| · |
程序委员会共同主席, 第2届全国测试学术会议, Oct.17~20, 2002, 上海 |
| · |
Program Co-Chair, 2nd Workshop on RTL ATPG & DFT, Nov.22~23, 2001, Nara, Japan |
|
| 所受教育: |
| · |
1991.9~1993.8 博士后: 北京大学计算机系(合作导师:杨芙清院士) |
| · |
1988.9~1991.7 博士生: 中科院计算所(1991.7获博士学位;导师魏道政研究员); |
| · |
1985.9~1988.7 硕士生: 合肥工业大学计算机系(1988.7获硕士学位;导师杨作慎教授); |
| · |
1981.9~1985.7 本科生: 合肥工业大学计算机系(1985.7获学士学位); |
|
| 研究方向: |
| · |
VLSI/SoC测试(含可测试性设计,高可靠性设计,设计验证)方法学; |
| · |
容错计算; |
| · |
软件测试; |
|
| 主要在研项目: |
| · |
国家自然科学基金委员会与香港研究资助局联合科研基金项目“片上系统测试架构设计与优化：针对噪声引起的测试良产率下降的研究” |
|
· |
国家自然科学基金重点项目“数字VLSI电路测试技术研究”,期限2007年1月-2010年12月，总经费200万; |
| · |
国家自然科学基金(SoC重大研究计划)项目“微处理器自修复设计基础技术研究”,期限2007年1月-2008年12月，总经费80万; |
| · |
国家高技术研究发展计划(863)课题“大规模高可靠片上多处理器的系统结构及实现方法”,期限2007年10月-2009年12月，总经费89万; |
|
· |
国家自然科学基金项目“多芯核共享的测试响应数据压缩方法研究”,期限2006年1月-2008年1月，经费25万; |
|
· |
国家重点基础研究发展计划(973)课题“高性能处理芯片的高可靠性设计”,期限2005年12月-2010年11月，总经费500万; |
|
· |
国家发改委CNGI示范工程项目“IPv6无线传感器网络节点”,期限2005年9月-2006年12月，总经费550万; |
|
· |
国家自然科学基金(SoC重大研究计划)重点项目“从行为级到版图级的设计验证与测试生成”,期限2003年1月-2006年12月，总经费200万; |
|
| 主要学术奖励: |
| · |
中国计算机学会王选奖（二等奖/团队/2008年） |
| · |
中国科学院"优秀教学成果奖"（一等奖/团队/2008年） |
|
|
| · |
北京市"科学技术奖"（三等奖/团队/2007年） |
|
|
| · |
中国科学院"优秀研究生指导教师"奖（2007年） |
| · |
中国科学院"优秀研究生导师"奖（2006年） |
| · |
中国科学院杰出科技成就奖（荣誉/团队/2003年） |
| · |
Certificate of Appreciation, IEEE Computer Society（2001年;2004年;2007年） |
| · |
中国科学院自然科学奖（二等奖/团队/1992年） |
| |
|
|
| 其他奖励情况: |
| · |
中科院计算所优秀管理干部（2007年度） |
| · |
中科院研究生院优秀教师（荣誉称号/2006年度） |
| · |
中科院计算所优秀员工（2005年度） |
| · |
中科院计算所所长奖教金（2005年度） |
| · |
中科院计算所所长奖教金（2003年度） |
| |
|
