He Jifeng

He Jifeng

He Jifeng (zh-stp|s=何积丰|t=何積豐|p=Hé Jīfēng) is a Chinese computer scientist.

He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory from 1984 to 1998. He worked extensively on formal aspects of computing science. In particular, he worked with 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 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.

He has been elected to the Chinese Academy of Sciences.

External links

*


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Jifeng — Original name in latin Jifeng Name in other language Chi shan, Chi shan hsien, Jifeng, Jifeng Zhen, Jishan, Jishan Xian, Tsishanhsien, ji feng, ji feng zhen, ji shan xian State code CN Continent/City Asia/Shanghai longitude 35.61347 latitude… …   Cities with a population over 1000 database

  • RCOS — is a relational semantic model and refinement calculus for object oriented and component based software development. It was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU IIST. It supports both state based and event based… …   Wikipedia

  • B4free — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B …   Wikipédia en Français

  • Click'n'Prove — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B …   Wikipédia en Français

  • Methode B — Méthode B Wikibooks propose un ouvrage abordant ce sujet : la méthode B …   Wikipédia en Français

  • Méthode B — La méthode B est une méthode formelle de développement logiciel qui permet de modéliser de façon abstraite dans le langage de B le comportement d un programme, puis par raffinements successifs, d aboutir à un modèle concret, sous ensemble du… …   Wikipédia en Français

  • C. A. R. Hoare — Infobox Scientist name = Charles Antony Richard Hoare image width = 150px birth date = birth date and age|1934|1|11 birth place = Colombo, Sri Lanka field = Computer Scientist work institution = Elliott Brothers Queen s University of Belfast… …   Wikipedia

  • Zhou Enlai — This is a Chinese name; the family name is Zhou. Zhou Enlai 周恩来 1st Premier of the People s Republic of China In offic …   Wikipedia

  • Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… …   Wikipedia

  • Chang-Lin Tien — Seventh Chancellor University of California, Berkeley Term 1990 – 1997 Born July 24, 1935(1935 07 24) …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”