Fu Hongfei

Fu Hongfei is a faculty member in the Department of Computer Science at Shanghai Jiao Tong University. He is affiliated with the BASICS laboratory and teaches graduate-level courses in programming language theory. His research interests include model checking and program verification. Fu holds a bachelor's degree in computer science and technology from Shanghai Jiao Tong University, a master's degree in computer software and theory from the same university, and a doctorate in computer science from RWTH Aachen University. He has served as a reviewer for several international journals and conferences, including Information and Computation and ICALP. He was awarded the Best Student Paper at HSCC 2013.

Hongfei Fu is a researcher at Shanghai Jiao Tong University with expertise in model checking and program verification. His work focuses on the formal analysis of probabilistic programs, including termination analysis, cost analysis, and invariant generation. Fu's research explores techniques such as Positivstellensatz’s, martingales, and Farkas’ lemma to address challenges in verifying probabilistic systems. His publications address both qualitative and quantitative properties of probabilistic programs, emphasizing automated methods for ensuring correctness and termination. His contributions span the development of scalable verification techniques for non-deterministic and recursive programs, with applications in safety-critical systems and formal methods.