He Jifeng - CaLiGraph

Property	Value
rdf:type	Member of the Chinese Academy of Sciences Fudan University alumnus owl:NamedIndividual 1943 birth Chinese technology writer Computer science writer Educator from Shanghai Living person Member of the Department of Computer Science, University of Oxford Scientist from Shanghai Writer from Shanghai Chinese computer scientist
rdfs:label	He Jifeng
owl:sameAs	dbr:He_Jifeng
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Chinese_computer_scientists http://en.wikipedia.org/wiki/Category:Members_of_the_Chinese_Academy_of_Sciences http://en.wikipedia.org/wiki/List_of_members_of_the_Chinese_Academy_of_Sciences http://en.wikipedia.org/wiki/He_(surname) http://en.wikipedia.org/wiki/Category:1943_births http://en.wikipedia.org/wiki/Category:Chinese_technology_writers http://en.wikipedia.org/wiki/Category:Computer_science_writers http://en.wikipedia.org/wiki/Category:Educators_from_Shanghai http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford http://en.wikipedia.org/wiki/Category:Writers_from_Shanghai http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/E_Dongchen http://en.wikipedia.org/wiki/Category:Scientists_from_Shanghai http://en.wikipedia.org/wiki/Category:Fudan_University_alumni http://en.wikipedia.org/wiki/East_China_Normal_University
skos:prefLabel	He Jifeng
clgo:academicDiscipline	Computer science Formal methods
clgo:almaMater	Fudan University
clgo:birthPlace	Shanghai
clgo:birthYear	1943
clgo:influencedBy	Tony Hoare
clgo:knownFor	Unifying Theories of Programming
clgo:nationality	China
is clgo:influenced of	Dines Bjørner
is clgo:influencedBy of	Jonathan Bowen Hussein Zedan Zhiming Liu (computer scientist)

About: clgr:He_Jifeng