He Jifeng

He Jifeng (, born August 1943) is a Chinese computer scientist.

He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was an instructor at East China Normal University. During 1980–81, he was a visiting scholar at Stanford University and the University of San Francisco in California, United States. In 1996, he also became professor of computer science at Shanghai Jiao Tong University.

In 1998, he became a senior research fellow at the International Institute for Software Technology (UNU-IIST), United Nations University, based in Macau. Ten years later in 2023, his 80th birthday was celebrated at the Shanghai Science Hall with a hybrid international two-day Festschrift Symposium. Since 2019, he has been a distinguished professor at Tongji University in Shanghai.

He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill International Series in Software, 1995. . C.A.R. Hoare and He Jifeng, Unified Theories of Programming. Prentice Hall International Series in Computer Science, 1998. . Zhiming Liu and He Jifeng, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. World Scientific Publishing Company, Series on Component-Based Software Development, 2007. .