Hongfei Fu

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


Contact:


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

Teaching


Manuscripts


Publications


Last updated: Feb. 13th, 2023