<center id="cqiy6"><div id="cqiy6"></div></center>
  • <input id="cqiy6"><object id="cqiy6"></object></input>
  • 杭州電子科技大學·計算機學院

    國際化教育

    您當前的位置:首頁  國際化教育  國際學術交流

    澳大利亞迪肯大學James Xi Zheng博士講座通知

    閱讀量:92 發布時間:2017-01-03 13:52:25

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

      

      

      


    同创娱乐网站