Prof. Ji-Feng HE
Date & Time
3 Dec 2013 (Tuesday) 15:00 - 16:00
WLG103 (University of Macau)
Department of Computer and Information Science
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.