软件学院

School Of Software

Introduction:

Name:Fei He

Position:Assistant Professor

Tel:86-10-6277-3278

Email:hefei@tsinghua.edu.cn

Address: Room 11-307, East Main Building, Tsinghua University, Beijing, China, 100084

 


Education background:

Ph.D. in Computer Science and Technology, 2008.1

Tsinghua University, Beijing, China

M.S. in Computer Science and Technology, 2004.12

Tsinghua University, Beijing, China

B.S. in Computer Science and Technology, 2002.7

National University of Defense Technology, Changsha, China

 


Experience:

Associate Professor, Tsinghua University, 2011.12-Present

Assistant Professor, Tsinghua University, 2008.5-2011.12


Concurrent Academic:

COURSES

Formal verification for software systems

Modeling and analysis of embedded computing systems

 


Areas of Research Interests/ Research Projects:

Formal verification and their applications in embedded systems and software systems

 


Research Status:

Inductive Invariant-based model checking, NSFC (PI, 2013.1 – 2016.12)

Compositional verification by automated assume-guarantee reasoning, NSFC (PI, 2010.1 - 2012.12)

Compositional verification by automated assume-guarantee reasoning, NSFC (PI, 2010.1 - 2012.12)


Academic Achievement:

Journals

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.

Conferences

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.