基本信息







沈海华 女 中国科学院大学
电子邮件：shenhh@ucas.ac.cn
联系电话：
手机号码：
通信地址：中国科学院大学计算机科学与技术学院
邮政编码：101408
女，浙江杭州人。中国科学院大学教授，博士生导师。中国计算机学会高级会员，中国计算机学会容错专委会常务委员，中国计算机学会体系结构专委会委员，中国计算机学会集成电路设计专委会委员，中国计量测试学会集成电路测试专委会委员。







部门/实验室：计算机与控制学院
研究领域



计算机体系结构
软硬件安全
智能硬件设计

非易失存储器与类脑计算












招生信息
招收博士生、硕士生，计算机、电子工程及相关专业欢迎报考。



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


教育背景
学历




学位

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





工作经历




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


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

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








社会兼职

教授课程集成电路设计与验证
高级计算机系统结构
计算机体系结构
计算机体系结构讨论课
集成电路验证

本科生课程数据结构

专利与奖励






获奖情况：
中国产学研合作创新成果奖二等奖（2019）
中国电子学会科学技术奖二等奖（2018）
北京市科学技术奖二等奖（2017）
中国科学院教育教学成果奖二等奖（2017）
中国科学院朱李月华优秀教师奖（2017）
中国科学院大学校级优秀个人（2017）
中科院计算所优秀科研人员奖（2012、2013）
中科院计算所所长奖教金（2010）
百件优秀中国专利奖（2010）
龙芯之星先进个人（2007）
CCF王选奖一等奖（2006，集体奖）

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











出版信息





发表/合作发表学术论文40余篇（包括IEEE Trans. on VLSI, IEEE Trans. on CAD, HPCA、DATE等国际期刊及会议）,出版专著两部、译著一部。
著作：
《集成电路验证》 科学出版社

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

近期部分录用/发表的论文：
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.** ，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.






科研活动




主持的部分科研项目：


院先导子课题 芯片安全检测及优化工具项目负责人2020~2021
国家级项目 XXX系统设计开发 项目负责人2019~2021
核高基子课题 超级计算机处理器基础电路器件测试项目负责人2018~2019
国家级项目 XXX器件检测与评价技术研究 项目联合负责人 2017~2019
高校项目 智能移动通信终端功耗检测及benchmark自动生成方法研究 项目负责人 2015~2017
研究所项目 智能移动通信设备功耗分析及自适应功耗管理策略研究 项目负责人 2014~2016
国家自然科学基金项目 片上多核处理器硅后验证关键技术研究（**）项目负责人2012~2015
国家自然科学基金项目 验证片上多核处理器：技术、工具及方法研究（**） 项目负责人2011~2012
国家自然科学基金项目 采用形式化引擎加速处理器仿真验证收敛的关键技术研究(**) 项目负责人2007~2009
国家863项目 片上多处理器设计一体化验证平台研究（2007AA01Z112）项目负责人2007~2009
北京市自然科学基金项目 一种创新的同时多个微线程处理器关键技术研究（**） 项目负责人2007~2009


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


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







合作情况
项目协作单位






以下排名不分先后：
中科院计算所
中科院软件所
中科院微电子所
中科院半导体所
清华大学
北京航空航天大学
航天xxx所
香港中文大学
ARM
腾讯科技











研究生指导情况

已毕业研究生:
2007 张译夫 计算机系统结构 2008 王利 计算机应用技术 荆华 计算机系统结构 王玲 计算机系统结构 2009 李昊 计算机系统结构 张尧 计算机系统结构 2010 刘道福 计算机系统结构 张洁 计算机系统结构 2011 范振亚 计算机系统结构 2012 敖丹丹 计算机技术 黄启印 计算机软件与理论 2013 杨雄冰 计算机系统结构2014 刘天义 计算机系统结构 赵跃辉 计算机应用技术 2015 谭华哲 计算机应用技术
在读研究生：
2016 赵薇 计算机应用技术 2017 卢人杰 计算机应用技术 2018 苏钰 计算机应用技术