He Jifeng (born August 1943) is a Chinese computer scientist who graduated from the mathematics department of Fudan University in 1965. From 1984 to 1998 he was a senior research fellow at the Programming Research Group in the Oxford University Computing Laboratory, where he worked extensively on formal aspects of computing science with Tony Hoare, including their book Unifying Theories of Programming. He has been professor of computer science at East China Normal University since 1986 and was elected to the Chinese Academy of Sciences in 2005.
Facts
Connections
In Field
Source Wikipedia: He Jifeng
In the Other Atlases
- Also in Geography Atlas: China, nationality there.
Sources
1. Wikidata: He Jifeng
- Wikidata Q5688822, class allow-list match (w-wdresolver-0926)
- Wikidata Q5688822 P569 (date of birth)
View the Source2. Wikipedia: He Jifeng
Lead sentence, birth clause
born August 1943
Lead sentence, descriptor
is a Chinese computer scientist
External links
Jifeng He
- In Field: Formal Methods, Infobox field and known_for, lead paragraph
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.