Time: Jan 6 2017,  10:00-11:30
Location: 3rd-floor meeting room, building 1.
Report topic: Research into Cyber-Physical-Systems verification and its Industrial impact
Speaker: Dr James Xi Zheng, Deacon university in Australia
Contact: Yu Dongjin
Teachers and students are welcome to attend!

Abstract:
Cyber-physical systems (CPS) are an integration of computation with physical processes. CPS has gained popularity both in industry and the research community, but developing and verifying CPS remain significant challenges. In this talk, I will focus on one of the fundamental work of CPS safety dynamic ****ysis. The work is based on a temporal logic state machine and runtime verification. I will then also discuss some interesting ongoing works and their industrial impact.

Bio: Dr. James Xi Zheng is currently a Lecturer/Assistant Professor in Computer Science at Deakin University Australia. He got Bachelor from Fudan University, Master from the University of New South Wales and Ph.D. from the University of Texas at Austin. He has previously worked as a senior principal consultant and solution architect for large corporations. His areas of expertise include cyber physical systems, Internet of things, cloud computing, distributed and multicore computation, and web application development.