Skip to main content Start main content

Turing Award Laureate Professor Joseph Sifakis delivers lecture on AI and autonomous systems

3 Mar 2023

The PAIR Distinguished Lecture delivered by Turing Award Laureate Professor Joseph Sifakis, Emeritus Senior CNRS Researcher at Verimag Laboratory, was successfully held on 3 March 2023. The webinar attracted about 800 participants from more than 50 countries and regions, including Australia, Belgium, China, Finland, France, Germany, Greece, Hong Kong, India, Italy, Malaysia, the Netherlands, Pakistan, the Philippines, Singapore, Spain, Taiwan, the United Kingdom and the United States. It was also broadcasted live on multiple social media platforms, including Bilibili and Weibo, and viewed by over 12,000 online audience in total.

The webinar was kick-started by Prof. CHEN Qingyan, Director of PolyU Academy for Interdisciplinary Research (PAIR) and Chair Professor of Building Thermal Science in the Department of Building Environment and Energy Engineering at PolyU, followed by a welcome speech by Prof. Christopher CHAO, Vice President (Research and Innovation) and Chair Professor of Thermal and Environmental Engineering at PolyU and a speaker introduction by Prof. CHEN Changwan, PAIR Management Committee Member and Chair Professor of Visual Computing at PolyU.

Prof. Sifakis shared his major work on the formalisation of system design as a process leading from given requirements to trustworthy, optimised and correct-by-construction implementations. He first presented an analogy between human and machine intelligence, followed by a review of the transition from automation to autonomy in the development of trustworthy autonomous systems, and summarised the lecture by discussing the impacts of the artificial intelligent systems.

A question-and-answer session moderated by Prof. Chen Qingyan and Prof. Chen Changwen followed. The audience was inspired to have a fruitful exchange with Prof. Sifakis.

Online review:


Research Units PolyU Academy for Interdisciplinary Research

Your browser is not the latest version. If you continue to browse our website, Some pages may not function properly.

You are recommended to upgrade to a newer version or switch to a different browser. A list of the web browsers that we support can be found here