He Jifeng
Encyclopedia
He Jifeng is a Chinese
computer scientist
.
He Jifeng was a Senior Research Fellow at the Programming Research Group
in the Oxford University Computing Laboratory
from 1984 to 1998. He worked extensively on formal
aspects of computing science
. In particular, he worked with 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 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
. He moved 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.
He has been elected to the Chinese Academy of Sciences
.
China
Chinese civilization may refer to:* China for more general discussion of the country.* Chinese culture* Greater China, the transnational community of ethnic Chinese.* History of China* Sinosphere, the area historically affected by Chinese culture...
computer scientist
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
.
He Jifeng was a Senior Research Fellow at the Programming Research Group
Programming Research Group
The Programming Research Group is part of the Oxford University Computing Laboratory . It was founded by Christopher Strachey in 1965 and after his death, C.A.R. Hoare, FRS took over the leadership in 1977...
in the Oxford University Computing Laboratory
Oxford University Computing Laboratory
The Department of Computer Science, until 2011 named the Computing Laboratory , is a department of Oxford University in England...
from 1984 to 1998. He worked extensively on formal
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
aspects of computing science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
. In particular, he worked with Tony Hoare, latterly on Unifying Theories of Programming
Unifying Theories of Programming
Unifying Theories of Programming 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, design and implementation of programs and computer systems.The book of this title by...
, resulting in a book of that name.
Since 1986, He Jifeng has been Professor of Computer Science at East China Normal University
East China Normal University
East China Normal University , was founded in October 1951 in western Shanghai, on the campus of Great China University. It is the first Normal University founded after the establishment of the People's Republic of China.-History:...
in Shanghai
Shanghai
Shanghai is the largest city by population in China and the largest city proper in the world. It is one of the four province-level municipalities in the People's Republic of China, with a total population of over 23 million as of 2010...
. In 1996, he also became Professor of Computer Science at Shanghai Jiao Tong University
Shanghai Jiao Tong University
Shanghai Jiao Tong University or SJTU), sometimes referred to as Shanghai Jiaotong University , is a top public research university located in Shanghai, China. Shanghai Jiao Tong University is known as one of the oldest and most prestigious universities in China...
.
In 1998 he became a Senior Research Fellow at the International Institute for Software Technology (UNU-IIST), United Nations University
United Nations University
The United Nations University is an academic arm of the United Nations established in 1973, which serves purposes and principles of the Charter of the United Nations. The UNU undertakes research into the pressing global problems of human survival, development and welfare that are the concern of...
, based in Macau
Macau
Macau , also spelled Macao , is, along with Hong Kong, one of the two special administrative regions of the People's Republic of China...
. He moved 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.
He has been elected to the Chinese Academy of Sciences
Chinese Academy of Sciences
The Chinese Academy of Sciences , formerly known as Academia Sinica, is the national academy for the natural sciences of the People's Republic of China. It is an institution of the State Council of China. It is headquartered in Beijing, with institutes all over the People's Republic of China...
.
Books
- He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. Mcgraw-HillMcGraw-HillThe McGraw-Hill Companies, Inc., is a publicly traded corporation headquartered in Rockefeller Center in New York City. Its primary areas of business are financial, education, publishing, broadcasting, and business services...
International Series in Software, 1995. ISBN 978-0077090524. - C.A.R. Hoare and He Jifeng, Unified Theories of Programming. Prentice Hall International Series in Computer SciencePrentice Hall International Series in Computer SciencePrentice Hall International Series in Computer Science is a series of books on computer science published by Prentice Hall. Its founding editor was Tony Hoare. Richard Bird subsequently took over editing the series.- Selected books :...
, 1998. ISBN 978-0134587615. - 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. ISBN 978-9812700179.
External links
- Books by He Jifeng on Amazon.comAmazon.comAmazon.com, Inc. is a multinational electronic commerce company headquartered in Seattle, Washington, United States. It is the world's largest online retailer. Amazon has separate websites for the following countries: United States, Canada, United Kingdom, Germany, France, Italy, Spain, Japan, and...