科院考研推荐链接：
研究领域
计算机体系结构
集成电路设计、验证、测试
硬件安全
智能硬件设计
非易失存储器与类脑计算
物联网安全
招生信息
计算机、电子工程及相关专业欢迎报考
招生专业
081203-计算机应用技术
教育背景
学历
学位
清华大学计算机系计算机系统结构专业 博士毕业(2002)
教授课程
高级计算机系统结构
计算机体系结构
计算机体系结构讨论课
集成电路验证
本科生课程
专利与奖励
获奖情况：
- 中国电子学会科学技术奖二等奖（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.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.
科研活动
主持的部分科研项目：
- 国家级项目 XXXX可编程逻辑器件检测与评价技术研究 项目联合负责人 2017~2019
- 高校项目 智能移动通信终端功耗检测及benchmark自动生成方法研究 项目负责人 2015~2017
- 研究所项目 智能移动通信设备功耗分析及自适应功耗管理策略研究 项目负责人 2014~2016
- 国家自然科学基金项目 片上多核处理器硅后验证关键技术研究（61173001）项目负责人2012~2015
- 国家自然科学基金项目 验证片上多核处理器：技术、工具及方法研究（61050002） 项目负责人2011~2012
- 国家自然科学基金项目 采用形式化引擎加速处理器仿真验证收敛的关键技术研究(60603049) 项目负责人2007~2009
- 国家863项目 片上多处理器设计一体化验证平台研究（2007AA01Z112）项目负责人2007~2009
- 北京市自然科学基金项目 一种创新的同时多个微线程处理器关键技术研究（4705024） 项目负责人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
合作情况
研究生指导情况
已毕业研究生:
2007 张译夫 计算机系统结构 2008 王利 计算机应用技术 荆华 计算机系统结构 王玲 计算机系统结构 2009 李昊 计算机系统结构 张尧 计算机系统结构 2010 刘道福 计算机系统结构 张洁 计算机系统结构 2011 范振亚 计算机系统结构 2012 敖丹丹 计算机技术 黄启印 计算机软件与理论 2013 杨雄冰 计算机系统结构 2014 刘天义 计算机系统结构 赵跃辉 计算机应用技术 2015 谭华哲 计算机应用技术
在读研究生：
2016 赵薇 计算机应用技术 2017 卢人杰 计算机应用技术 2018 苏钰 计算机应用技术
