https://www.bcs.org/content/ConWebDoc/59563

Date/Time: Friday 12 October 2018, 5.15pm - 9.00pm
Refreshments will be available from 5.15pm, presentation starts at 7.15pm.

Venue: BCS, The Chartered Institute for IT, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

Cost: Free

Book Online

Details:

This talk celebrates the 20th anniversary of the publication of the book Unifying Theories of Programming by C.A.R. Hoare and He Jifeng in 1998. It will be given in the presence of Prof. Sir Tony Hoare, who will provide some introductory remarks. Prof. Jim Woodcock of the University of York will provide a summary of the talk.

About the Speaker:

Prof. He Jifeng is a Chinese computer scientist. He 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 (UTP), 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).

For overseas delegates who wish to attend the event please note that BCS does not issue invitation letters.