About: He Jifeng

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Chinese computer scientist

Property	Value
dbo:academicDiscipline	dbr:Computer_science dbr:Formal_methods
dbo:almaMater	dbr:Fudan_University
dbo:birthPlace	dbr:Shanghai
dbo:description	Chinese computer scientist (en) ríomheolaí Síneach (ga) Chinesischer Ingenieur und Informatiker (de) Cientista da computação chinês (pt) Informatico cinese (it) Informático chino (es) informaticien chinois (fr) عالم الكمبيوتر الصيني (ar) 中國計算機科學家 (zh)
dbo:knownFor	dbr:Unifying_Theories_of_Programming
dbo:nationality	dbr:China
dbo:originalName	何积丰 (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Jifeng_He.jpg?width=300
dbo:wikiPageExternalLink	http://faculty.ecnu.edu.cn/hejifeng/Info_eng.html https://web.archive.org/web/20120227181403/http:/faculty.ecnu.edu.cn/hejifeng/Info_eng.html
dbo:wikiPageWikiLink	dbc:Living_people dbc:Chinese_computer_scientists dbc:Chinese_technology_writers dbc:Members_of_the_Chinese_Academy_of_Sciences dbc:Scientists_from_Shanghai dbr:California dbr:China dbr:Mathematics dbr:Chinese_Academy_of_Sciences dbr:Computer_science dbr:Macau dbr:Shanghai dbr:Stanford_University dbr:University_of_San_Francisco dbc:Computer_science_writers dbr:Fudan_University dbr:United_Nations_University dbr:University_of_Oxford dbr:Computer_scientist dbr:Shanghai_Jiao_Tong_University dbr:Formal_methods dbr:Programming_Research_Group dbr:East_China_Normal_University dbr:Festschrift dbr:Tony_Hoare dbr:Unifying_Theories_of_Programming dbr:He_(surname) dbr:Zhiming_Liu_(computer_scientist) dbr:Prentice_Hall_International_Series_in_Computer_Science dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:1943_births dbc:Writers_from_Shanghai dbc:Educators_from_Shanghai dbc:Formal_methods_people dbc:Fudan_University_alumni dbr:McGraw-Hill dbr:Oxford_University_Department_of_Computer_Science dbr:C.A.R._Hoare dbr:International_Institute_for_Software_Technology dbr:World_Scientific_Publishing_Company dbc:East_China_Normal_University_faculty dbc:United_Nations_University_faculty dbc:Shanghai_Jiao_Tong_University_faculty
dbp:almaMater	dbr:Fudan_University
dbp:birthPlace	Shanghai, China (en)
dbp:caption	Prof. Jifeng He speaking at the BCS London office in 2018 (en)
dbp:field	dbr:Computer_science dbr:Formal_methods
dbp:knownFor	dbr:Unifying_Theories_of_Programming
dbp:name	He Jifeng (en)
dbp:nationality	dbr:China
dbp:nativeName	何积丰 (en)
dbp:nativeNameLang	zh (en)
dbp:p	Hé Jīfēng (en)
dbp:s	何积丰 (en)
dbp:t	何積豐 (en)
dbp:website	http://www.jfai-sh.com/
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Birth_year_and_age dbt:DBLP dbt:Family_name_hatnote dbt:ISBN dbt:In_lang dbt:Infobox_scientist dbt:Reflist dbt:Short_description dbt:Zh
dbp:workInstitution	dbr:United_Nations_University dbr:University_of_Oxford dbr:Shanghai_Jiao_Tong_University dbr:Tongji_University dbr:East_China_Normal_University
dct:subject	dbc:Living_people dbc:Chinese_computer_scientists dbc:Chinese_technology_writers dbc:Members_of_the_Chinese_Academy_of_Sciences dbc:Scientists_from_Shanghai dbc:Computer_science_writers dbc:Academic_staff_of_United_Nations_University dbc:Academic_staff_of_Shanghai_Jiao_Tong_University dbc:Academic_staff_of_Tongji_University dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:1943_births dbc:Writers_from_Shanghai dbc:Educators_from_Shanghai dbc:Formal_methods_people dbc:Fudan_University_alumni dbc:Academic_staff_of_the_East_China_Normal_University
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/13191562
rdf:type	owl:Thing foaf:Person dbo:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Animal dbo:Eukaryote dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Scientist dbo:Species dbo:Species schema:Person
rdfs:label	He Jifeng (en) هي جيفنغ (ar) He Jifeng (es) 何积丰 (zh)
owl:sameAs	freebase:He Jifeng http://viaf.org/viaf/13191562 yago-res:He Jifeng wikidata:He Jifeng dbpedia-es:He Jifeng dbpedia-zh:He Jifeng http://d-nb.info/gnd/1090272480 http://d-nb.info/gnd/1117061965 http://d-nb.info/gnd/12246365X https://dblp.org/pid/66/3868 http://data.bibliotheken.nl/id/thes/p364477768 dbpedia-ar:He Jifeng dbpedia-global:He Jifeng
prov:wasDerivedFrom	wikipedia-en:He_Jifeng?oldid=1286407347&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Jifeng_He.jpg
foaf:homepage	http://www.jfai-sh.com/
foaf:isPrimaryTopicOf	wikipedia-en:He_Jifeng
foaf:name	He Jifeng (en)
is dbo:author of	dbr:Unifying_Theories_of_Programming
is dbo:wikiPageRedirects of	dbr:Jifeng_He
is dbo:wikiPageWikiLink of	dbr:List_of_computer_scientists dbr:Dines_Bjørner dbr:East_China_Normal_University dbr:Unifying_Theories_of_Programming dbr:He_(surname) dbr:RCOS_(computer_sciences) dbr:Zhiming_Liu_(computer_scientist) dbr:Prentice_Hall_International_Series_in_Computer_Science dbr:List_of_members_of_the_Chinese_Academy_of_Sciences dbr:United_Nations_University_International_Institute_for_Software_Technology dbr:Jifeng_He
is dbp:author of	dbr:Unifying_Theories_of_Programming
is foaf:primaryTopic of	wikipedia-en:He_Jifeng