About: He Jifeng

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

He Jifeng (simplified Chinese: 何积丰; traditional Chinese: 何積豐; pinyin: Hé Jīfēng, born August 1943) 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, United States.

Property Value
dbo:abstract
  • هي جيفنغ (في اللغة الصينية المبسطة: 何积丰; في اللغة الصينية التقليدية: 何積豐; في لغة بينيين: Hé Jīfēng; من مواليد أغسطس 1943) هو عالم كمبيوتر صيني. تخرج هي جيفنغ من قسم الرياضيات بجامعة فودان في عام 1965. من عام 1965 إلى عام 1985، كان مدرسًا في . خلال الفترة من 1980 إلى 1981، كان أستاذًا زائرًا في جامعة ستانفورد وجامعة سان فرانسيسكو في كاليفورنيا بالولايات المتحدة. من عام 1984 إلى عام 1998، كان هي جيفنغ زميلًا باحثًا أول في مجموعة أبحاث البرمجة في مختبر الحوسبة بجامعة أكسفورد (قسم علوم الكمبيوتر بجامعة أكسفورد حاليًا). عمل على نطاق واسع في الجوانب الشكلية لعلوم الحوسبة. على وجه الخصوص، عمل مع البروفيسور السير توني هور، حول ، مما أدى إلى كتاب بهذا الاسم. منذ عام 1986، شغل هي جيفنغ منصب أستاذ علوم الكمبيوتر في جامعة شرق الصين للمعلمين في شنغهاي. في عام 1996، أصبح أيضًا أستاذًا لعلوم الكمبيوتر في جامعة شنغهاي جياو تونغ . في عام 1998، أصبح زميلًا باحثًا أول في ، في جامعة الأمم المتحدة، ومقره ماكاو. عاد إلى شنغهاي في 2005. تشمل الاهتمامات البحثية لهي جيفنغ طرقًا سليمة لمواصفات أنظمة الكمبيوتر، والاتصالات، والتطبيق والمعايير، وتقنيات تصميم وتنفيذ تلك المواصفات في البرامج و / أو الأجهزة ذات الموثوقية العالية. في عام 2005، انتخب عضوا في الأكاديمية الصينية للعلوم. في عام 2013، تم الاحتفال بعيد ميلاده السبعين في جامعة شرق الصين للمعلمين مع مهرجان دولي لمدة ثلاثة أيام بالاشتراك مع المؤتمر الدولي للجوانب النظرية للحوسبة( ICTAC ). (ar)
  • He Jifeng, chino simplificado: 何积丰, chino tradicional: 何積豐, pinyin: Hé Jīfēng ( Shanghái, 1943 ) es un informático teórico chino.​ (es)
  • He Jifeng (simplified Chinese: 何积丰; traditional Chinese: 何積豐; pinyin: Hé Jīfēng, born August 1943) 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, United States. 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). (en)
  • 何积丰(1943年8月-),男,上海人,中国计算机科学家,中国科学院院士。现任华东师范大学软件学院院长,华东师范大学终身教授、博士生导师。上海嵌入式系统研究所所长。研究方向为形式化方法;高可信与信息安全;设计理论;嵌入式系统设计方法和工具;软硬件混成系统协同设计等。 (zh)
dbo:academicDiscipline
dbo:almaMater
dbo:birthPlace
dbo:influencedBy
dbo:knownFor
dbo:nationality
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2849640 (xsd:integer)
dbo:wikiPageLength
  • 6348 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1080196304 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:birthDate
  • August 1943 (en)
dbp:birthPlace
  • Shanghai, China (en)
dbp:date
  • 2012-02-27 (xsd:date)
dbp:field
dbp:influences
dbp:knownFor
dbp:name
  • He Jifeng (en)
dbp:nationality
dbp:p
  • Hé Jīfēng (en)
dbp:s
  • 何积丰 (en)
dbp:t
  • 何積豐 (en)
dbp:url
dbp:wikiPageUsesTemplate
dbp:workInstitution
dcterms:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs:comment
  • He Jifeng, chino simplificado: 何积丰, chino tradicional: 何積豐, pinyin: Hé Jīfēng ( Shanghái, 1943 ) es un informático teórico chino.​ (es)
  • 何积丰(1943年8月-),男,上海人,中国计算机科学家,中国科学院院士。现任华东师范大学软件学院院长,华东师范大学终身教授、博士生导师。上海嵌入式系统研究所所长。研究方向为形式化方法;高可信与信息安全;设计理论;嵌入式系统设计方法和工具;软硬件混成系统协同设计等。 (zh)
  • هي جيفنغ (في اللغة الصينية المبسطة: 何积丰; في اللغة الصينية التقليدية: 何積豐; في لغة بينيين: Hé Jīfēng; من مواليد أغسطس 1943) هو عالم كمبيوتر صيني. تخرج هي جيفنغ من قسم الرياضيات بجامعة فودان في عام 1965. من عام 1965 إلى عام 1985، كان مدرسًا في . خلال الفترة من 1980 إلى 1981، كان أستاذًا زائرًا في جامعة ستانفورد وجامعة سان فرانسيسكو في كاليفورنيا بالولايات المتحدة. منذ عام 1986، شغل هي جيفنغ منصب أستاذ علوم الكمبيوتر في جامعة شرق الصين للمعلمين في شنغهاي. في عام 1996، أصبح أيضًا أستاذًا لعلوم الكمبيوتر في جامعة شنغهاي جياو تونغ . (ar)
  • He Jifeng (simplified Chinese: 何积丰; traditional Chinese: 何積豐; pinyin: Hé Jīfēng, born August 1943) 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, United States. (en)
rdfs:label
  • هي جيفنغ (ar)
  • He Jifeng (en)
  • He Jifeng (es)
  • 何积丰 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
foaf:name
  • He Jifeng (何积丰) (en)
is dbo:influenced of
is dbo:influencedBy of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:influenced of
is dbp:influences of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License