Title: High-Confidence Computing for the Smart Connected World

Abstract: High-Confidence Computing (HCC) is a new computing paradigm that can enable the integrations of trusted computing, precise computing, and intelligent computing. HCC relies on interdisciplinary methodologies to realize secure and trusted software/hardware, precise and process-traceable algorithms, and self-evolving designs that can adapt to new environments and support new applications. Information systems possessing HCC properties can provide collaborative services that are otherwise impossible as security, traceability, accountability, reliability, robustness, extensibility, adaptivity, and self-evolution are all desirable and equally-important properties of modern connected systems such as smart cities. This talk intends to answer the following questions: what is high-confidence computing, why high-confidence computing is needed by smart connected systems, and how to realize high-confidence smart connected systems. We will introduce an architecture to demonstrate our exploratory studies regarding how to integrate state-of-the-art techniques to build a secure and trusted, traceable, and adaptive cyber-physical system for the smart connected world for proof of concept. Open challenges will also be discussed.

Biography: Xiuzhen Cheng received her MS and PhD degrees in computer science from the University of Minnesota – Twin Cities, in 2000 and 2002, respectively. She was a Professor at the Department of Computer Science, The George Washington University, Washington DC, USA from September 2002 to August 2020. Currently she is a professor in School of Computer Science and Technology, Shandong University, China. Her current research focuses on blockchain computing, intelligent Internet of Things, wireless and mobile security, and algorithm design and analysis. She is the founder and steering committee chair of the International Conference on Wireless Algorithms, Systems, and Applications (WASA, launched in 2006). She served/is serving on the editorial boards of several technical journals (e.g. IEEE Transactions on Computers, IEEE Transactions on Parallel and Distributed Systems, IEEE Transactions on Wireless Communications, IEEE Wireless Communications Magazine) and the technical program committees of many professional conferences/workshops (e.g. ACM Mobihoc, ACM Mobisys, IEEE INFOCOM, IEEE ICDCS, IEEE ICC, IEEE/ACM IWQoS). She also chaired several international conferences (e.g. ACM Mobihoc’14, IEEE PAC’18). Dr. Cheng is a Fellow of IEEE.