杭州电子科技大学·计算机学院

科学研究

您当前的位置:首页  科学研究  学术动态

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

阅读量:2896 发布时间:2017-01-03 13:52:25

Topic: 

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

时间:2017年1月6日10:00-11:30

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

联系人:俞东进

 欢迎师生参会学习交流!

 

 

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 analysis. 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.

×关闭