In particular, he worked with Prof. Sir Tony Hoare, latterly on Unifying Theories of Programming, resulting in a book of that name.

Since 1986, He Jifeng has been Professor of Computer Science at East China Normal University in Shanghai.

In 1998, he became a senior research fellow at the International Institute for Software Technology (UNU-IIST), United Nations University, based in Macau.

He Jifeng's research interests include sound methods for the specification of computer systems, communications, applications, standards, and techniques for designing and implementing those specifications in software and/or hardware with high reliability.

[5][6] Ten years later in 2023, his 80th birthday was celebrated at the Shanghai Science Hall with a hybrid international two-day Festschrift Symposium.