澳大利亚迪肯大学James Xi Zheng博士讲座通知

Topic: 

Research into Cyber-Physical-Systems verification and its Industrial impact

时间:2017161000-1130

地点:计算机学院三楼会议室

联系人:俞东进

欢迎师生参会学习交流!

  

  

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 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 University of New South Wales, and PhD from 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.