Speaker:Prof. Ji-Feng HE
Chinese Academy of Sciences, China
Date & Time:3 Dec 2013 (Tuesday) 15:00 - 16:00
Venue:WLG103 (University of Macau)
Organized by:Department of Computer and Information Science


随着新的计算技术、网络技术和控制技术的不断涌现,信息物理融合系统(Cyber-physical Systems,CPS)业已成为物理设备系统发展的新趋势。它反映了人们对监控和操作物理设备系统的更高需求――希望能随时、随地、实时、高效地操控物理设备系统并自由地享受其提供的各种服务,使得人类的工程物理系统创建模式、交互方式和管理方法发生根本性变革。CPS发展的最终目标是实现人类社会、信息世界和物理世界的完全融合,构建一个可控、可信、可扩展并且安全高效的物理设备互联网络,并最终从根本上改变人类构建工程物理系统的方式。



HE Ji-Feng is currently a professor of computer science at East China Normal University (ECNU). He is also the Dean of Software Engineering Institute, ECNU. He graduated from the Department of Mathematics, Fudan University in 1965 and then worked in ECNU. In 1986, he was promoted to the rank of Professor. He was a Visiting Researcher at Stanford University and San Francisco University, USA from 1980 to 1981. He joined Computing Lab of Oxford University, U.K. from 1983 to 1998 as a Senior Researcher. From 1998 to 2005, he was a senior research fellow of International Institute for Software Technology, United Nations University (UNU-IIST), Macau, China. In 2005, he was elected as CAS Academician. He has been appointed as the Chief Scientist for the “Trusted Software Fundamental Research” as a major research plan launched by the National Natural Science Foundation of China (NSFC), and the Chief Scientist for the “Theory and Practice on Coordination and Survivability for Massive Amount of Information” project as the National Basic Research Program (“973” Program) founded by the Ministry of Science and Technology (MOST). In 2011, he was appointed as the Chief Scientist for the “Internet of Things” project as China Technology Research Development Plan (“863” Program) founded by the Ministry of Science and Technology (MOST). And also he was appointed as the leader of the creative research group of National Natural Science Foundation of China.

Prof He is a world leading authority in software theory and application. He has made important research contributions to the fundamentals in developing software, including complexity, correctness and reliability of software. His main contributions are threefold. 1), by discovering the nature of the software meta-model, Prof He provided the first complete solution to the problem of the consistency of different program semantics. 2) Prof He proposed a novel and effective paradigm for developing software; this leads to a significant reduction on the test costs. 3) Prof He made a great effort to promote the industry of trustworthy embedded software. In particular, Prof He proposed a number of real-applications based initiatives to ensure the software works well with an open environment. As a summary, Prof He is one of the founders of the Unifying Theories of Programming, the founder of the Completeness Theory of Data Refinement, and a pioneer of the trustworthy software design and technology. Prof He has published two monographs in English, and more than 160 papers in international journals and conferences; these received more than 4000 citations.