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.

PropertyValue
dbpprop:abstract
  • 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.
dbpprop:hasPhotoCollection
dbpprop:id
  • h/He:Jifeng
dbpprop:name
  • He Jifeng
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • 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.
rdfs:label
  • He Jifeng
owl:sameAs
skos:subject
foaf:page
is owl:sameAs of