报告人简历：

Jingde Cheng received the Bachelor of Engineering degree in computer science from Tsinghua University in China in 1982, and the Master of Engineering degree and the Doctor of Engineering degree, both in computer science from Kyushu University in Japan, in 1986 and 1989 respectively.  He is currently a professor of computer science at Graduate School of Science and Engineering, Saitama University in Japan.  Before he joined Saitama University in 1999, he was a research associate (1989-1991), an associate professor (1991-1996), and a professor (1996-1999) at Kyushu University.  His current research interests include relevant reasoning, relevant logic and its applications, epistemic programming paradigm for scientific discovery, autonomous evolution of knowledge-based systems, anticipatory reasoning-reacting systems, persistent computing, and information security engineering environment.  He is a senior member of ACM, and a member of IEEE-CS, IEEE-SMC, IEEE, and IPSJ.

Abstract

The requirement that a computing system should run continuously and persistently has never been explicitly taken into account as an essential and/or general requirement by traditional system design and development methodologies.  As a result, a traditional computing system often has to stop its running and functioning when it needs to be maintained, upgraded, or reconfigured, it has some trouble, or it is attacked.  However, many applications in the modern information society require that computing systems can run continuously to perform their tasks well.  This talk presents _$Ba_(BPersistent Computing_$Bb_(B, a new methodology/paradigm that aims to develop continuously dependable and dynamically adaptive reactive-systems, called _$Ba_(BPersistent Computing Systems_$Bb_(B.  I will present what is a persistent computing system and why we should study persistent computing systems as continuously available, reliable, and secure systems, discuss how persistent computing systems can be constructed by soft system bus technology to satisfy their requirements, and show some new scientific and technical challenges on persistent computing.