Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/He_Jifeng> ?p ?o }
- He_Jifeng abstract "He Jifeng (simplified Chinese: 何积丰; traditional Chinese: 何積豐; pinyin: Hé Jīfēng, born August 1943 in Shanghai) 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 (now the Oxford University Department of Computer Science). 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.In 2005, he was elected to the Chinese Academy of Sciences. In 2013, his 70th birthday was celebrated at East China Normal University with an international three-day Festschrift in association with the International Conference on Theoretical Aspects of Computing (ICTAC).".
- He_Jifeng almaMater East_China_Normal_University.
- He_Jifeng almaMater Fudan_University.
- He_Jifeng birthPlace China.
- He_Jifeng birthPlace Shanghai.
- He_Jifeng field Computer_science.
- He_Jifeng field Formal_methods.
- He_Jifeng influencedBy Tony_Hoare.
- He_Jifeng knownFor Unifying_Theories_of_Programming.
- He_Jifeng nationality China.
- He_Jifeng residence China.
- He_Jifeng residence Shanghai.
- He_Jifeng wikiPageExternalLink Info_eng.html.
- He_Jifeng wikiPageID "2849640".
- He_Jifeng wikiPageLength "5525".
- He_Jifeng wikiPageOutDegree "55".
- He_Jifeng wikiPageRevisionID "705959357".
- He_Jifeng wikiPageWikiLink California.
- He_Jifeng wikiPageWikiLink Category:1943_births.
- He_Jifeng wikiPageWikiLink Category:Academics_of_the_United_Nations_University.
- He_Jifeng wikiPageWikiLink Category:Chinese_computer_scientists.
- He_Jifeng wikiPageWikiLink Category:Chinese_technology_writers.
- He_Jifeng wikiPageWikiLink Category:Computer_science_writers.
- He_Jifeng wikiPageWikiLink Category:East_China_Normal_University_faculty.
- He_Jifeng wikiPageWikiLink Category:Educators_from_Shanghai.
- He_Jifeng wikiPageWikiLink Category:Formal_methods_people.
- He_Jifeng wikiPageWikiLink Category:Fudan_University_alumni.
- He_Jifeng wikiPageWikiLink Category:Living_people.
- He_Jifeng wikiPageWikiLink Category:Members_of_the_Chinese_Academy_of_Sciences.
- He_Jifeng wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- He_Jifeng wikiPageWikiLink Category:Scientists_from_Shanghai.
- He_Jifeng wikiPageWikiLink Category:Shanghai_Jiao_Tong_University_faculty.
- He_Jifeng wikiPageWikiLink Category:Writers_from_Shanghai.
- He_Jifeng wikiPageWikiLink China.
- He_Jifeng wikiPageWikiLink Chinese_Academy_of_Sciences.
- He_Jifeng wikiPageWikiLink Computer_science.
- He_Jifeng wikiPageWikiLink Computer_scientist.
- He_Jifeng wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- He_Jifeng wikiPageWikiLink East_China_Normal_University.
- He_Jifeng wikiPageWikiLink Festschrift.
- He_Jifeng wikiPageWikiLink Formal_methods.
- He_Jifeng wikiPageWikiLink Fudan_University.
- He_Jifeng wikiPageWikiLink He_(surname).
- He_Jifeng wikiPageWikiLink Macau.
- He_Jifeng wikiPageWikiLink Mathematics.
- He_Jifeng wikiPageWikiLink McGraw-Hill_Education.
- He_Jifeng wikiPageWikiLink Prentice_Hall_International_Series_in_Computer_Science.
- He_Jifeng wikiPageWikiLink Programming_Research_Group.
- He_Jifeng wikiPageWikiLink Shanghai.
- He_Jifeng wikiPageWikiLink Shanghai_Jiao_Tong_University.
- He_Jifeng wikiPageWikiLink Stanford_University.
- He_Jifeng wikiPageWikiLink Tony_Hoare.
- He_Jifeng wikiPageWikiLink Unifying_Theories_of_Programming.
- He_Jifeng wikiPageWikiLink United_Nations_University.
- He_Jifeng wikiPageWikiLink United_Nations_University_International_Institute_for_Software_Technology.
- He_Jifeng wikiPageWikiLink United_States.
- He_Jifeng wikiPageWikiLink University_of_Oxford.
- He_Jifeng wikiPageWikiLink University_of_San_Francisco.
- He_Jifeng wikiPageWikiLink World_Scientific.
- He_Jifeng wikiPageWikiLinkText "He Jifeng".
- He_Jifeng almaMater Fudan_University.
- He_Jifeng almaMater "East China Normal University".
- He_Jifeng birthDate "August 1943".
- He_Jifeng birthPlace China.
- He_Jifeng birthPlace Shanghai.
- He_Jifeng field Computer_science.
- He_Jifeng field Formal_methods.
- He_Jifeng influences Tony_Hoare.
- He_Jifeng knownFor Unifying_Theories_of_Programming.
- He_Jifeng name "He Jifeng".
- He_Jifeng nationality China.
- He_Jifeng p "Hé Jīfēng".
- He_Jifeng residence "Shanghai, China".
- He_Jifeng s "何积丰".
- He_Jifeng t "何積豐".
- He_Jifeng wikiPageUsesTemplate Template:AcademicSearch.
- He_Jifeng wikiPageUsesTemplate Template:Chinese_Academy_of_Sciences.
- He_Jifeng wikiPageUsesTemplate Template:Chinese_name.
- He_Jifeng wikiPageUsesTemplate Template:DBLP.
- He_Jifeng wikiPageUsesTemplate Template:En_icon.
- He_Jifeng wikiPageUsesTemplate Template:Infobox_scientist.
- He_Jifeng wikiPageUsesTemplate Template:Reflist.
- He_Jifeng wikiPageUsesTemplate Template:Zh.
- He_Jifeng workInstitution East_China_Normal_University.
- He_Jifeng workInstitution Shanghai_Jiao_Tong_University.
- He_Jifeng workInstitution United_Nations_University.
- He_Jifeng workInstitution University_of_Oxford.
- He_Jifeng subject Category:1943_births.
- He_Jifeng subject Category:Academics_of_the_United_Nations_University.
- He_Jifeng subject Category:Chinese_computer_scientists.
- He_Jifeng subject Category:Chinese_technology_writers.
- He_Jifeng subject Category:Computer_science_writers.
- He_Jifeng subject Category:East_China_Normal_University_faculty.
- He_Jifeng subject Category:Educators_from_Shanghai.
- He_Jifeng subject Category:Formal_methods_people.
- He_Jifeng subject Category:Fudan_University_alumni.
- He_Jifeng subject Category:Living_people.
- He_Jifeng subject Category:Members_of_the_Chinese_Academy_of_Sciences.
- He_Jifeng subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- He_Jifeng subject Category:Scientists_from_Shanghai.