He Jifeng
| He Jifeng (何积丰) | |
|---|---|
| Born | August 1943 Shanghai, China |
| Residence | Shanghai, China |
| Nationality | Chinese |
| Fields | Computer science, formal methods |
| Institutions | East China Normal University University of Oxford Shanghai Jiao Tong University United Nations University |
| Alma mater | Fudan University East China Normal University |
| Known for | Unifying Theories of Programming |
| Influences | Tony Hoare |
He Jifeng (simplified Chinese: 何积丰; traditional Chinese: 何積豐; pinyin: Hé Jīfēng, born August 1943 in Shanghai) is a Chinese computer scientist.[1]
He Jifeng graduated from the mathematics department of Fudan University in 1965.[2] From 1965 to 1985, he was a 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, USA.
From 1984 to 1998, He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory. 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.[3] 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 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.
He has been elected to the Chinese Academy of Sciences.
Books [edit]
He Jifeng has written a number of computer science books, including:[4]
- He Jifeng, Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill International Series in Software, 1995. ISBN 978-0-07-709052-4.
- C.A.R. Hoare and He Jifeng, Unified Theories of Programming. Prentice Hall International Series in Computer Science, 1998. ISBN 978-0-13-458761-5.
- 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-981-270-017-9.
References [edit]
- ^ "He Jifeng". Brainstorm. Retrieved April 9, 2012.
- ^ "He Jifeng computer software expert". Hangzhou Institute of Service Engineering, Hangzhou Normal University. Retrieved April 9, 2012.
- ^ He Jifeng, East China Normal University, China.
- ^ Books by He Jifeng, Amazon.com.
External links [edit]
- He Jifeng homepage (English)
- List of publications from the DBLP Bibliography Server
- List of publications from Microsoft Academic Search
- 1943 births
- Living people
- Academics of the United Nations University
- Chinese computer scientists
- Chinese technology writers
- Computer science writers
- East China Normal University faculty
- Educators from Shanghai
- Formal methods people
- Fudan University alumni
- Members of Oxford University Computing Laboratory
- Members of the Chinese Academy of Sciences
- Scientists from Shanghai
- Shanghai Jiao Tong University faculty
- Writers from Shanghai
