Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 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 birthDate "1943".
• He_Jifeng birthPlace China.
• He_Jifeng birthPlace Shanghai.
• He_Jifeng birthYear "1943".
• 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 wikiPageRevisionID "577291885".
• 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 dateOfBirth "August 1943".
• He_Jifeng field Computer_science.
• He_Jifeng field Formal_methods.
• He_Jifeng hasPhotoCollection He_Jifeng.
• He_Jifeng influences Tony_Hoare.
• He_Jifeng knownFor Unifying_Theories_of_Programming.
• He_Jifeng name "He Jifeng".
• He_Jifeng name "He, Jifeng".
• He_Jifeng nationality China.
• He_Jifeng p "Hé Jīfēng".
• He_Jifeng placeOfBirth China.
• He_Jifeng placeOfBirth Shanghai.
• He_Jifeng residence "Shanghai, China".
• He_Jifeng s "何积丰".
• He_Jifeng shortDescription "Computer scientist".
• He_Jifeng t "何積豐".
• 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 description "Computer scientist".
• He_Jifeng description "Computer scientist".
• 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_Oxford_University_Department_of_Computer_Science.
• He_Jifeng subject Category:Members_of_the_Chinese_Academy_of_Sciences.
• He_Jifeng subject Category:Scientists_from_Shanghai.
• He_Jifeng subject Category:Shanghai_Jiao_Tong_University_faculty.
• He_Jifeng subject Category:Writers_from_Shanghai.
• He_Jifeng type Academician109759069.
• He_Jifeng type AcademicsOfTheUnitedNationsUniversity.
• He_Jifeng type Adult109605289.
• He_Jifeng type Alumnus109786338.
• He_Jifeng type CausalAgent100007347.
• He_Jifeng type ChineseComputerScientists.
• He_Jifeng type ChineseEmigrantsToTheUnitedKingdom.
• He_Jifeng type Communicator109610660.
• He_Jifeng type ComputerScienceWriters.
• He_Jifeng type ComputerScientist109951070.
• He_Jifeng type ComputerUser109951274.
• He_Jifeng type EastChinaNormalUniversityAlumni.
• He_Jifeng type Educator110045713.
• He_Jifeng type Emigrant110051975.
• He_Jifeng type FormalMethodsPeople.
• He_Jifeng type FudanUniversityAlumni.
• He_Jifeng type Intellectual109621545.
• He_Jifeng type LivingPeople.
• He_Jifeng type LivingThing100004258.
• He_Jifeng type Migrant110314952.
• He_Jifeng type Object100002684.
• He_Jifeng type Organism100004475.
• He_Jifeng type PeopleFromShanghai.
• He_Jifeng type Person100007846.
• He_Jifeng type PhysicalEntity100001930.
• He_Jifeng type Professional110480253.
• He_Jifeng type Scholar110557854.
• He_Jifeng type Scientist110560637.
• He_Jifeng type Traveler109629752.
• He_Jifeng type Whole100003553.
• He_Jifeng type Writer110794014.
• He_Jifeng type YagoLegalActor.
• He_Jifeng type YagoLegalActorGeo.
• He_Jifeng type Agent.
• He_Jifeng type Person.
• He_Jifeng type Scientist.
• He_Jifeng type Person.
• He_Jifeng type Q215627.
• He_Jifeng type Q5.
• He_Jifeng type Agent.
• He_Jifeng type NaturalPerson.

• next