姓 名：贺飞
出生日期：1980.12
职务：副教授
Email: hefei@tsinghua.edu.cn
地址：清华大学东主楼11-307室， 100084
教育背景 2002.09－2008.01，清华大学计算机系，获工学博士学位
1998.09－2002.07，国防科技大学计算机学院，获工学学士学位
工作履历 2011.12 – 至今，清华大学软件学院，副教授
？2008.05 – 2011.12，清华大学软件学院，讲师
学术兼职 PC member of ICECCS 2013, co-chair of VTECS 2013
讲授课程：
《软件形式化验证》，《嵌入式系统建模与分析技术》
研究领域 形式化验证理论及其在嵌入式系统、软件系统中的应用
研究概况 NSFC面上项目：基于归纳不变式的模型检测研究，2013.1 – 2016.12（主持）
NSFC青年项目：基于假设/保证自动推理的组合验证研究, 2010.1 - 2012.12（主持）
NSFC重点项目：基于定理证明的可信嵌入式软件建模与验证平台研究, 2008.1 - 2010.12（参与）
NSFC-ANR中法合作交流项目：嵌入式系统仿真与验证平台开发, 2009.1 - 2011.12 (参与)
973项目：产品设计软件系统的部件级可验证性理论研究, 2010.1 - 2015.12（参与）
学术成果 SELECTED JOURNAL PUBLICATIONS
1.Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song and Ming Gu, Maxterm Covering for Satisfiability, IEEE Transactions on Computers, 61(3), pp. 420-426, March, 2012.
2.Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu and Jiaguang Sun, Integrating Evolutionary Computation with Abstraction Refinement for Model Checking, IEEE Transactions on Computers, vol. 59, no. 1, pp. 116-126, Jan. 2010.
3.Fei He, Xiaoyu Song, Ming Gu and Jiaguang Sun, Heuristic-Guided Abstraction Refinement, Computer Journal, 52(3), pp. 280-287, May, 2009.
4.Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu and Jiaguang Sun, A Satisfiability Formulation for FPGA Routing with Pin Rearrangements, International Journal of Electronics, Vol. 94, No. 9, pp. 857-868, 2007.
5.Fei He, Xiaoyu Song, Ming Gu, Guowu Yang, William N. N. Hung and Jiaguang Sun, Probabilistic Optimization for Board-Level Routing Problem, IEEE Transactions on Circuits and Systems II, Vol. 53, No. 4, pp. 264-268, April, 2006.
SELECTED CONFERENCE PUBLICATIONS
6.Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung and Ming Gu, Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems, accepted by CAV 2013.
7.Wenrui Meng , Fei He, Bow-Yaw Wang, and Qiang Liu, Thread-Modular Model Checking with Iterative Refinement, 4th International Conference on NASA Formal Methods (NFM 2012), Norfolk, Virginia, USA, April 3 – 5, 2012, pp. 237-251.
8.Min Zhou, Fei He and Ming Gu, An Efficient Resolution Based Algorithm for Satisfiability Problem. 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011), Xi'an, China, August 29 - 31, 2011, pp. 60--67.
9.Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, and Lei Zhu, Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning, 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010), Heraklion, Crete, Greece, October 18-21, 2010, pp. 643--657.
10.Fei He, He Zhu, William N. N. Hung, Xiaoyu Song and Ming Gu, Compositional Abstraction Refinement for Timed Systems, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, August 25- 27, 2010, pp. 168-176.
11.Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, On Array Theory of Bounded Elements, 22nd International Conference on Computer Aided Verification (CAV 2010), Edinburgh, UK, July 15-19, pp. 570-584, 2010.
12.He Zhu, Fei He, William N. N. Hung, Xiaoyu Song and Ming Gu, Data Mining Based Decomposition for Assume-Guarantee Reasoning, 9th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2009), Austin, TX, USA, Nov. 15-18, pp. 116-119, 2009.
13.Fei He, Luciano Baresi, Carlo Ghezzi and Paola Spoletini, Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata, 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2007), Tallinn, Estonia, June 27-29, pp. 247-262, 2007.
14.Fei He, Xiaoyu Song, Ming Gu and Jiaguang Sun, A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement, Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), LNCS 4218, Beijing, China, October 23-26, pp. 39-50, 2006.
15.Anduo Wang, Fei He, Ming Gu and XiaoYu Song, Verifying Java Programs by Theorem Prover HOL, 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), Chicago, US, September 17-21, pp. 139-142, 2006.