He Jifeng
Computer Scientist
1943 –
Who is He Jifeng?
He Jifeng is a Chinese computer scientist.
He Jifeng graduated from the mathematics department of Fudan University in 1965. 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, 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. 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, 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.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Aug 1, 1943
Shanghai - Nationality
- China
- Profession
- Education
- Fudan University
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"He Jifeng." Biographies.net. STANDS4 LLC, 2024. Web. 7 May 2024. <https://www.biographies.net/people/en/he_jifeng>.
Discuss this He Jifeng biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In