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

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


Contact:


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

Teaching


Publications


Last updated: Nov. 27th, 2019