He Jifeng
He Jifeng | |
|---|---|
何积丰 | |
 Prof. Jifeng He speaking at the BCS London office in 2018 | |
| Born | August 1943 (age 82) Shanghai, China |
| Alma mater | Fudan University |
| Known for | Unifying Theories of Programming |
| Scientific career | |
| Fields | Computer science, formal methods |
| Institutions | East China Normal University University of Oxford Shanghai Jiao Tong University United Nations University Tongji University |
| Website | www |
He Jifeng (simplified Chinese: 何积丰; traditional Chinese: 何積豐; pinyin: Hé Jīfēng, born August 1943) is a Chinese computer scientist.[1][2]
He Jifeng graduated from the mathematics department of Fudan University in 1965.[3] 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.[2]
From 1984 to 1998, He Jifeng was a senior research fellow at the Programming Research Group in the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science).[2] He worked extensively on formal aspects of computing science. 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.[4] 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.[2] He moved back to Shanghai in 2005.
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.[2]
In 2005, he was elected to the Chinese Academy of Sciences. In 2013, his 70th birthday was celebrated at East China Normal University with an international three-day Festschrift in association with the International Conference on Theoretical Aspects of Computing (ICTAC).[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.[7][8] Since 2019, he has been a distinguished professor at Tongji University in Shanghai.[2]
Books
[edit | edit source]He Jifeng has written a number of computer science books, including:[9]
- He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill International Series in Software, 1995. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
- C.A.R. Hoare and He Jifeng, Unified Theories of Programming. Prentice Hall International Series in Computer Science, 1998. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
- 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. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value)..
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c d e f Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ He Jifeng Archived 2012-02-27 at the Wayback Machine, East China Normal University, China.
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Shanghai Huake Zhigu Artificial Intelligence Research Institute led by He Jifeng
- He Jifeng homepage at ECNU, archived in 2012 (in English)
- Jifeng He at DBLP Bibliography ServerLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
- 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
- Academic staff of United Nations University
- Academic staff of Tongji University
- Writers from Shanghai