李华伟导师主页
基本信息
姓名: 李华伟
职称: 研究员
单位电话:
电子信箱:
办公室:
个人主页:
个人简介

李华伟,女,博士,IEEE Senior Member,2008年获中国科学院(下称中科院)卢嘉锡青年人才奖,2012年入选中科院青年创新促进会成员;2012年荣获国家技术发明二等奖;2014年荣获北京市科学技术奖一等奖。

现任中科院计算技术研究所(下称计算所)研究员,博士生导师,计算机体系结构国家重点实验室-VLSI测试与验证组组长。IEEE Senior Member,中国计算机学会(CCF)容错计算专业委员会主任,CCF理事。《IEEE Transaction on VLSI Systems》Associate Editor,《计算机辅助设计与图形学学报》、《计算机研究与发展》编委。IEEE寄存器传输级与高层测试研讨会指导委员会主席;IEEE亚洲测试学术会议指导委员会成员。

 1996年在湘潭大学计算机科学系获学士学位。1999年和2001年在中国科学院计算技术研究所分别获硕士学位和博士学位。2001年获中国科学院院长奖学金特别奖和“微软学者”称号。2009年8月-2010年8月,在美国加州大学圣巴巴拉分校担任访问学者。
 
主要从事集成电路验证与测试、可靠性设计、容错计算、近似计算研究,承担了国家自然科学基金、国家973和863等多个研究项目、龙芯CPU设计验证与测试、航天院所多款星载CPU芯片验证等工程项目。在IEEE Trans. on VLSI,IEEE Trans. on CAD,《计算机学报》等国内外刊物和IEEE DAC, ITC, VTS, DATE等著名国际学术会议上发表论文160余篇(其中SCI收录34篇,EI收录140余篇),授权发明专利20项;软件(著作权)登记12件。
 
在国内外学术交流方面,担任2014年IEEE第23届亚洲测试会议(ATS14)大会合作主席、2007年ATS07程序合作主席、2013年IEEE第14届寄存器传输级及高层测试研讨会(WRTLT13)程序副主席、2003年 WRTLT03程序主席;担任2006年第四届中国测试会议程序委员会主席、2004年第三届中国测试会议程序委员会合作主席。现任或曾任包括ITC、DATE、ASP-DAC、ETS、ATS、DFT等IEEE十余个大中型国际会议程序委员。

 

学习工作经历

 1996年在湘潭大学计算机科学技术系获工学学士学位。1999年和2001年在中国科学院计算技术研究所分别获得计算机应用技术专业硕士和博士学位。

获奖情况

2001年度中科院院长奖学金特别奖。

2001年度微软学者奖。

2003年度中国科学院杰出科技成就奖,龙芯CPU研究集体,排名11

2004年度全国优秀博士论文提名奖。

2007年度北京市科技进步奖(基础研究类)三等奖,排名3

2008年度中国科学院卢嘉锡青年人才奖。

2008年度中国计算机学会王选奖二等奖,排名2

2008年度北京市科学技术奖(发明类)三等奖,排名2

2011年度中国质量技术奖一等奖,排名2

2012年度国家技术发明奖二等奖,排名2

2014年度北京市科学技术奖一等奖,排名13

科研项目

1、国家自然科学基金重点项目,61432017、差错容忍计算器件基础理论与方法,2015/01-2019/12

2、国家自然科学基金面上项目,61176040、考虑集成电路时延变异性的硅后定时验证方法,2012/01-2015/12

3、国家自然科学基金面上项目,60776031、避免过度测试的时延测试方法,2008/01-2010/12

4、国家重点基础研究发展计划(973计划)项目,2005CB321605、高性能处理芯片的设计验证与测试,2005/12–2010/12

5、国家高技术研究发展计划(863计划)项目,2007AA01Z476、可信计算平台软硬件系统安全测试评估模型、测试方法以及测试自动化技术,2007/07–2009/12

6、国家自然科学基金面上项目,60606008、面向串扰的时延测试,2007/01-2009/12

科研成果

l  合作完成的成果星载微处理器系统验证-测试-恢复技术及应用荣获2012年度国家技术发明奖二等奖。

l  合作完成的成果“32位星载容错控制计算机系统关键技术及应用荣获2014年度北京市科学技术奖一等奖。

l  合作完成的成果高性能处理芯片的测试和可靠性设计关键技术荣获2011年度中国质量协会质量技术奖一等奖。

l  合作完成的基础研究成果集成电路逻辑测试与验证基础技术荣获2007年度北京市科学技术奖(基础研究类)三等奖。

l  合作完成的技术发明成果数字电路实速检测和故障诊断技术及其应用荣获2008年度北京市科学技术奖(技术发明类)三等奖。

    l   作为龙芯CPU”研究集体中芯片测试方面主要负责人之一,荣获2003年度中科院杰出科技成就奖(荣誉)。

社会兼职

2011年以来,担任《计算机辅助设计与图形学学报》编委。

2014年以来,担任《计算机研究与发展》编委。

2015年以来,担任《IEEE Trans. VLSI Systems》的编委。

2008-2015年,担任中国计算机学会容错计算专业委员会秘书长。

2016年以来,担任中国计算机学会容错计算专业委员会主任,中国计算机学会理事。