Hongfei Fu (in Chinese: ·ûºè·É)

Assistant Professor at the John Hopcroft Center for Computer Science, Shanghai Jiao Tong University.


Research Interest

I am mainly interested in formal methods, 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: Oct. 14th, 2020