基本信息

沈海华  女   中国科学院大学  

电子邮件:shenhh@ucas.ac.cn  

联系电话:  
手机号码:  
通信地址:中国科学院大学计算机科学与技术学院  
邮政编码:101408  

女,浙江杭州人。中国科学院大学教授,博士生导师。中国计算机学会高级会员,中国计算机学会容错专委会常务委员,中国计算机学会体系结构专委会委员,中国计量测试学会集成电路测试专委会委员。

部门/实验室:计算机与控制学院

研究领域

计算机体系结构

集成电路设计、验证、测试

硬件安全

智能硬件设计

非易失存储器与类脑计算

物联网安全






招生信息

计算机、电子工程及相关专业欢迎报考

招生专业
081201-计算机系统结构
081203-计算机应用技术

教育背景

   
学历


学位

清华大学计算机系计算机系统结构专业 博士毕业(2002)


工作经历

2013~至今   中国科学院大学计算机科学与技术学院 副教授、教授


2002~2013  龙芯中科技术有限公司 副总工程师

      中国科学院计算技术研究所 副研究员
                  

社会兼职
   

教授课程

集成电路设计与验证
高级计算机系统结构
计算机体系结构
计算机体系结构讨论课
集成电路验证
本科生课程
数据结构

专利与奖励

获奖情况:

  1. 中国电子学会科学技术奖二等奖(2018
  2. 北京市科学技术奖二等奖(2017
  3. 中国科学院教育教学成果奖二等奖(2017
  4. 中国科学院朱李月华优秀教师奖(2017
  5. 中国科学院大学校级优秀个人(2017
  6. 中科院计算所优秀科研人员奖(20122013
  7. 中科院计算所所长奖教金(2010
  8. 百件优秀中国专利奖(2010
  9. 龙芯之星先进个人(2007
  10. CCF王选奖一等奖(2006,集体奖)


申请发明专利20余项,软件著作权5项,其中ZL**1.6入选百件优秀中国专利。



出版信息


发表/合作发表学术论文40余篇(包括IEEE Trans. on VLSI, IEEE Trans. on CAD, HPCADATE等国际期刊及会议),出版专著两部、译著一部。

著作:

《集成电路验证》  科学出版社 

《低功耗集成电路》 科学出版社 

 

近期部分录用/发表的论文:

1.   Yiming Wang, Yun Li, Haihua Shen, Dongyu Fan, Wei Wang, Ling Li, Qi Liu, Feng Zhang, Xinghua Wang, Meng-fan Chang, Ming Liu,“A Few-Step and Low-Cost Memristor Logic based on MIG Logic for Frequent-Off Instant- On Circuits in IoT Applications”, IEEE Transactions on Circuits and Systems II: Express Briefs,DOI 10.1109/TCSII.2018.2882388 ,2018

2.   Haihua Shen, Huazhe Tan, Huawei Li, Feng Zhang, Xiaowei Li, “LMDet: A “Naturalness” Statistical Method for Hardware Trojan Detection”, IEEE trans on VLSI. Vol.26,Issue4,720-732 (2018).

3.   Yun Cheng, Huawei Li, Ying Wang, Haihua Shen, Bo Liu, and Xiaowei Li, “On Trace Buffer Reuse based Trigger Generation in Post Silicon Debug”, IEEE trans on Computer-Aided Design of Integrated Circuits and Systems. Vol.37, Issue10, 2166-2179 (2018)

4.   Huazhe Tan, Wei Zhao, Haihua Shen, A context-perceptual privacy protection approach on Android devices, IEEE International Conference on Communications (ICC). 2018.

5.   Wei Zhao, Haihua Shen, Huawei Li and Xiaowei Li,“Hardware Trojan Detection Based on Signal Correlation“,the 27th IEEE Asian Test Symposium (ATS), 2018

6.   Haihua Shen, Yuehui Zhao. “HTChecker: Detecting Hardware Trojans based on Static Characteristics”, IEEE International Symposium on Circuits and Systems (ISCAS), 2017.


科研活动

主持的部分科研项目:

  1. 国家级项目  XXXX可编程逻辑器件检测与评价技术研究  项目联合负责人 2017~2019
  2. 高校项目 智能移动通信终端功耗检测及benchmark自动生成方法研究 项目负责人 2015~2017
  3. 研究所项目 智能移动通信设备功耗分析及自适应功耗管理策略研究 项目负责人 2014~2016
  4. 国家自然科学基金项目 片上多核处理器硅后验证关键技术研究(61173001)项目负责人2012~2015
  5. 国家自然科学基金项目 验证片上多核处理器:技术、工具及方法研究(61050002 项目负责人2011~2012
  6. 国家自然科学基金项目 采用形式化引擎加速处理器仿真验证收敛的关键技术研究(60603049) 项目负责人2007~2009
  7. 国家863项目 片上多处理器设计一体化验证平台研究(2007AA01Z112)项目负责人2007~2009
  8. 北京市自然科学基金项目 一种创新的同时多个微线程处理器关键技术研究(4705024 项目负责人2007~2009


 

作为龙芯公司副总工程师、主要技术负责人骨干参加的部分科研项目:


  1. 核高基重大专项高性能多核CPU研发与应用2009.01-2012.6
  2. 国家863重点项目四核龙芯通用CPU研制2008.01-2010.12
  3. 国家973课题可扩展、可重构片上并行体系结构与原型芯片设计(2005CB321601)”2005.122010.12
  4. 国家863计划重点课题低成本先进计算机单机2006.12-2009.11
  5. 国家863项目龙芯2号增强型处理器芯片设计2005.5-2005.12
  6. 国家863重点项目高性能通用CPU芯片全定制实现及系统集成2002.10-2004.6
  7. 中国科学院知识创新工程重大项目高性能通用CPU芯片研制2002.1-2004.12

合作情况

   
项目协作单位


以下排名不分先后:

中科院计算所

中科院软件所

中科院微电子所

中科院半导体所

清华大学

北京航空航天大学

中国联通研究院

美国华盛顿大学

ARM

AMD

VMware

腾讯科技



研究生指导情况

已毕业研究生: 

2007 张译夫 计算机系统结构 2008 王利 计算机应用技术 荆华 计算机系统结构 王玲 计算机系统结构 2009 李昊 计算机系统结构 张尧 计算机系统结构 2010 刘道福 计算机系统结构 张洁 计算机系统结构 2011 范振亚 计算机系统结构 2012 敖丹丹 计算机技术 黄启印 计算机软件与理论 2013 杨雄冰 计算机系统结构 2014 刘天义 计算机系统结构 赵跃辉 计算机应用技术 2015 谭华哲 计算机应用技术

在读研究生: 

2016 赵薇 计算机应用技术 2017 卢人杰 计算机应用技术 2018 苏钰 计算机应用技术