Keynote Speakers

1535947413357981.png

Prof.Jack Luo, University of Bolton, School of Engineering, UK


Title: Flexible and wearable electronics for health monitoring

Abstract: Flexible electronics is an emerging technology and being regarded as one of the top twenty technologies for the forthcoming era. Flexible electronics possesses unique properties including excellent conformability, stretchability and wearability that rigid electronic counterparts are unable to provide, thus it is excellent supplement to the existing electronics. As such, it has widespread applications in electronics industry, technologies, military, and particularly in healthcare and medicine, in the forms of sensors and actuators, wearable/implantable microsystems for advanced computing and healthcare etc.  

    We have been developing a range of flexible electronic devices with the targets for healthcare and medical applications, including stretchable/bendable skin-like sensors for strain/force/temperature measurements with sensitivities better than human skin; flexible and biodegradable planar ECOG devices with tens of electrodes for electric stimulation based epilepsy treatment; wearable wireless sensor chips for monitoring of human physiological conditions and obstructive sleeping apneas. We have also developed unique flexible surface acoustic wave (SAW) resonators and film bulk acoustic resonators (FBAR) on arbitrary substrates that could be used for biosensing and microfluidics applications. This talk will highlight our developments and achievements in these areas. 


1537152011122416.png

Prof. Miroslav Popovic, University of Novi Sad / Faculty of Technical Sciences, Serbia


Title: PSTM: A Foundation for Transactional Systems in Python

Abstract: In this keynote, I will present an ongoing research with the long-term goal to develop formally-verified prototypes of transactional systems in Python, which optimally manage transactions in both parallel and distributed settings. These prototypes are being developed using both conventional distributed systems’ methods and data science. Formal methods used to verify relevant system properties of these prototypes include Timed Automata (TA) and Unified Theories of Programming (UTP).

    There are many possible application domains, from cyber-physical systems (e.g. smart grids, smart cities, and smart homes) and Internet of Things (IoTs), across computational-chemistry for pharmacy and health, to cutting edge data science applications. This research is conducted at the University of Novi Sad (Faculty of Technical Sciences) in cooperation with the colleagues at Jerusalem College of Technology (Flexible Computation Research Laboratory), and East China Normal University (School of Computer Science and Software Engineering).

    The content of the keynote is the following. I will start with a brief introduction to transactional memory (TM) emphasizing its mains advantages over conventional locks. Then I will introduce the Python Software Transactional Memory (PSTM) architecture and API. The main focus of this keynote will be on its middle part where I will present the four online scheduling algorithms that we developed recently, namely the Round Robin (RR) algorithm, the Execution Time Load Balancing (ETLB) algorithm, Avoid Conflicts (AC) algorithm, and Advanced Avoid Conflicts (AAC) algorithm, which were profiled using read dominated, conflict-free, and write dominated workloads.

    Next I will provide some highlights on the correctness of PSTM, which was formally verified against deadlock freeness, safety, liveness, and reachability properties using UPPAAL tool and TA formalism, as well as against ACID properties using PAT tool and Communication Sequential Processes (CSP) models. Then I will touch upon concurrent data structures that we are developing (list, queue, and stack). I will close the keynote with our future work, which is development of the Distributed PSTM (DPSTM), and with some concluding remarks.


1538748907931939.jpg

Prof. Xiaodong Zhang, Xi’an Jiaotong University, China


Title: Research on Brain Control Technology

Abstract: Just as everyone knows, Brain Control Technology is a new research direction of intelligent robotics in the research area on Advanced Manufacture. Besides of introducing Xi'an Jiaotong University and its Biomechatronics research group, the presentation will show the recent research achievements of Professor Zhang’ group on Brain Control Technology mainly as follows. 1) The measurement technology of Electroencephalography/EEG signal; 2) Typical methods of feature extraction and pattern recognition; 3) Concept of Brain Control; 4) Research and progress on Smart Neuro-prosthesis Controlled by EEG; 5) Research and progress on Rehabilitation Robot based on EEG and EMG, etc.


1538749458291411.png

Prof. Jian Mao, Shanghai University of Engineering Science, China


Title: Key Technologies and Applications of Intelligent Logistics System

Abstract: This project is a small fork-lift AGV intelligent warehouse system based on visual navigation, which can be widely used in manufacturing workshop and warehouse system upgrade and transformation. The visual navigation small fork-lift type AGV is in the leading position in China. The intelligent dispatching system can improve the intelligence of production workshop and warehouse. The project uses fork-lift AGV technology, can continue to complete the task of handling and transportation, save the traditional manufacturing industry due to transportation, storage and handling of production processes, reduce manufacturing costs, improve the production environment of workers, improve production efficiency.


1537165505841486.jpg

Prof. Yonggang Fu, College of Computer Engineering, Jimei University, China


Title: The Research of Digital watermarking

Abstract: Digital watermarking have been emerged for more than twenty years. There are many researches in this field. Firstly, we introduce the concept and the idea of digital watermarking/information hiding, and then some of the research in robust image watermarking scheme are described. Finally, some of the possible further research directions are proposed, such as machine learning based watermarking et al.