He Jifeng (, born August 1943) is a Chinese

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (a ...

. He Jifeng graduated from the

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

department of

Fudan University Fudan University () is a national public research university in Shanghai, China. Fudan is a member of the C9 League, Project 985, Project 211, and the Double First Class University identified by the Ministry of Education of China. It is als ...

in 1965. From 1965 to 1985, he was an instructor at

East China Normal University East China Normal University (ECNU) is a comprehensive public research university in Shanghai, China. It was formed in 1951 by the merger of the Great China University (est. 1924) and Kwang Hua University (est. 1925) and originated from the St. ...

. During 1980–81, he was a visiting scholar at

Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is conside ...

and the

University of San Francisco The University of San Francisco (USF) is a private Jesuit university in San Francisco, California. The university's main campus is located on a setting between the Golden Gate Bridge and Golden Gate Park. The main campus is nicknamed "The Hil ...

California California is a state in the Western United States, located along the Pacific Coast. With nearly 39.2million residents across a total area of approximately , it is the most populous U.S. state and the 3rd largest by area. It is also the m ...

, United States. From 1984 to 1998, He Jifeng was a senior research fellow at the

Programming Research Group The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science in 2011. The PRG was founded b ...

in the Oxford University Computing Laboratory (now the

Oxford University Department of Computer Science The Department of Computer Science is the computer science department of the University of Oxford, England, which is part of the university's Mathematical, Physical and Life Sciences Division. It was founded in 1957 as the Computing Laboratory ...

). He worked extensively on formal aspects of

computing science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including ...

. In particular, he worked with Prof. Sir

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and ...

, latterly on

Unifying Theories of Programming Unifying Theories of Programming (UTP) in computer science deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, des ...

, resulting in a book of that name. Since 1986, He Jifeng has been Professor of Computer Science at

in Shanghai. In 1996, he also became Professor of Computer Science at

Shanghai Jiao Tong University Shanghai Jiao Tong University (SJTU; ) is a Public university, public research university in Shanghai, Shanghai, China. The university is funded by the Ministry of Education of the People's Republic of China, Ministry of Education of China ...

. In 1998, he became a senior research fellow at the International Institute for Software Technology (UNU-IIST),

United Nations University The (UNU) is the think tank and academic arm of the United Nations. Headquartered in Shibuya, Tokyo, Japan, with diplomatic status as a UN institution, its mission is to help resolve global issues related to human development and welfare thr ...

, based in

Macau Macau or Macao (; ; ; ), officially the Macao Special Administrative Region of the People's Republic of China (MSAR), is a city and special administrative region of China in the western Pearl River Delta by the South China Sea. With a pop ...

. He moved back to Shanghai in 2005. He Jifeng's research interests include sound methods for the specification of computer systems, communications, application and standards, and techniques for designing and implementing those specifications in software and/or hardware with high reliability. In 2005, he was elected to the

Chinese Academy of Sciences The Chinese Academy of Sciences (CAS); ), known by Academia Sinica in English until the 1980s, is the national academy of the People's Republic of China for natural sciences. It has historical origins in the Academia Sinica during the Republi ...

. In 2013, his 70th birthday was celebrated at East China Normal University with an international three-day

Festschrift In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the ...

in association with the ''International Conference on Theoretical Aspects of Computing'' (ICTAC).

Books

He Jifeng has written a number of computer science books, including: * He Jifeng, ''Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers''.

McGraw-Hill McGraw Hill is an American educational publishing company and one of the "big three" educational publishers that publishes educational content, software, and services for pre-K through postgraduate education. The company also publishes refere ...

International Series in Software, 1995. . * C.A.R. Hoare and He Jifeng, ''Unified Theories of Programming''.

Prentice Hall International Series in Computer Science Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall. The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series. Many of the books in ...

, 1998. . * Zhiming Liu and He Jifeng, ''Mathematical Frameworks for Component Software: Models for Analysis and Synthesis''.

World Scientific Publishing Company World Scientific Publishing is an academic publisher of scientific, technical, and medical books and journals headquartered in Singapore. The company was founded in 1981. It publishes about 600 books annually, along with 135 journals in various ...

, Series on Component-Based Software Development, 2007. .

References

External links

He Jifeng homepage
* * {{DEFAULTSORT:He, Jifeng 1943 births Living people Chinese computer scientists Chinese technology writers Computer science writers Academic staff of the East China Normal University Educators from Shanghai Formal methods people Fudan University alumni Members of the Department of Computer Science, University of Oxford Members of the Chinese Academy of Sciences Scientists from Shanghai Academic staff of Shanghai Jiao Tong University United Nations University faculty Writers from Shanghai