TY - CHAP
T1 - Jifeng He at Oxford and Beyond
T2 - An Appreciation
AU - Bowen, Jonathan P.
AU - Zhu, Huibiao
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - This paper provides an overview of Jifeng He’s academic achievements while at Oxford University in the UK, and later in Macau and Shanghai, together with his legacy internationally. He was an important researcher on the European ESPRIT ProCoS projects and Working Group on “Provably Correct Systems”. Subsequently and most notably, this led to collaboration with Tony Hoare on Unifying Theories of Programming (UTP), resulting in a jointly authored book and later conference series on the subject. Jifeng returned to his native China in 1998, first at the United Nations University in Macau and then at the East China Normal University in Shanghai from 2005 to 2019. In recent years, Jifeng has been the founder of an Artificial Intelligence (AI) research institute, focusing on the application of AI technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. This paper is structured in broadly chronological order, starting with a brief biography and then covering Jifeng He’s academic contributions successively in Oxford, Macau, and Shanghai. The paper concludes with an overall appreciation of his major achievements.
AB - This paper provides an overview of Jifeng He’s academic achievements while at Oxford University in the UK, and later in Macau and Shanghai, together with his legacy internationally. He was an important researcher on the European ESPRIT ProCoS projects and Working Group on “Provably Correct Systems”. Subsequently and most notably, this led to collaboration with Tony Hoare on Unifying Theories of Programming (UTP), resulting in a jointly authored book and later conference series on the subject. Jifeng returned to his native China in 1998, first at the United Nations University in Macau and then at the East China Normal University in Shanghai from 2005 to 2019. In recent years, Jifeng has been the founder of an Artificial Intelligence (AI) research institute, focusing on the application of AI technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. This paper is structured in broadly chronological order, starting with a brief biography and then covering Jifeng He’s academic contributions successively in Oxford, Macau, and Shanghai. The paper concludes with an overall appreciation of his major achievements.
KW - Formal methods
KW - Provably Correct Systems
KW - Unifying Theories of Programming
UR - https://www.scopus.com/pages/publications/85172024393
U2 - 10.1007/978-3-031-40436-8_1
DO - 10.1007/978-3-031-40436-8_1
M3 - 章节
AN - SCOPUS:85172024393
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 3
EP - 18
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer Science and Business Media Deutschland GmbH
ER -