About: He Jifeng   Sponge Permalink

An Entity of Type : dbkwik:resource/2OiO1HC7ZfG6sDj44TblnA==, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was a teacher at Huadong 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.

AttributesValues
rdf:type
rdfs:label
  • He Jifeng
rdfs:comment
  • He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was a teacher at Huadong 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.
sameAs
dcterms:subject
dbkwik:speedydelet...iPageUsesTemplate
T
  • 何積豐
Field
Birth Date
  • August 1943
Residence
  • Shanghai, China
Page
  • He Jifeng
work institution
Name
  • He Jifeng
  • He, Jifeng
S
  • 何积丰
Alma mater
Birth Place
substed
  • yes
Influences
Day
  • 1(xsd:integer)
Place of Birth
Month
  • July
P
  • Hé Jīfēng
Known For
Timestamp
  • 20120701164217(xsd:double)
Date of Birth
  • August 1943
Short Description
  • Computer scientist
Year
  • 2012(xsd:integer)
Nationality
abstract
  • He Jifeng graduated from the mathematics department of Fudan University in 1965. From 1965 to 1985, he was a teacher at Huadong 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 (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.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software