Hongfei Fu

Associate Professor (Tenure-Track) at the John Hopcroft Center for Computer Science, Shanghai Jiao Tong University.


Research Interest

I am mainly interested in formal verification, a theoretical research area aiming at proving system correctness through rigorous mathematical approaches. Currently, I am interested in the following sub-areas of formal methods:

PhD Thesis

Verifying Probabilistic Systems: New Algorithms and Complexity Results [link], RWTH Aachen, Germany



Last updated: Jul. 10th, 2022