Hongfei Fu

  • Joined July 2019

Names

Hongfei Fu

Emails

****@sjtu.edu.cn (Confirmed)

Personal Links

Career & Education History

Assistant Professor
Shanghai Jiaotong University (sjtu.edu.cn)
2017 – 2021
 
Researcher
Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)
2016 – 2017
 
Postdoc
Institute of Science and Technology (ist.ac.at)
2015 – 2016
 
PhD student
Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)
2010 – 2014
 

Advisors, Relations & Conflicts

PhD Advisor
2010 – 2014
 

Expertise

Formal Verification
2009 – 2021