Skip to main content Start main content

PAIR Distinguished Lecture Series: Artificial Intelligence and Autonomous Systems

Conference / Lecture

15186_551EventImage
15186_551ImageforSummary

Summary

PAIR cordially invites you to our Distinguished Lecture on 3 March 2023 (Friday) at 4:00pm-5:30pm (HKT) via Zoom. The lecture “Artificial Intelligence and Autonomous Systems” will be delivered by Professor Joseph SIFAKIS, Emeritus Senior Researcher CNRS at Verimag, France.

Prof. Sifakis’s current research interests cover fundamental and applied aspects of embedded systems design. The main focus of his work is on the formalisation of system design as a process leading from given requirements to trustworthy, optimised and correct-by-construction implementations. 

In this lecture, Prof. Sifakis will discuss the relevance of existing criteria for comparing human and machine intelligence and show some notable analogies and differences between scientific knowledge and that produced by neural networks. Emphasising that autonomy is an important step towards Artificial General Intelligence (AGI), he will present a characterisation of autonomous systems, and showing key differences with mental systems equipped with common sense knowledge and reasoning, and advocate challenging work directions, including the development of a new foundation for systems engineering and scientific knowledge, and the joint exploration of physical and mental phenomena that embody human intelligence.

 

Don’t miss the chance to learn from distinguished scholar!

Keynote Speaker

Professor Joseph SIFAKIS

Emeritus Senior Researcher CNRS at Verimag, France

Joseph Sifakis is Emeritus Senior CNRS Researcher at Verimag. His current research interests cover fundamental and applied aspects of embedded systems design. The main focus of his work is on the formalization of system design as a process leading from given requirements to trustworthy, optimized and correct-by-construction implementations. Joseph Sifakis has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, which he directed for 13 years. Verimag is a leading research laboratory in the area of embedded systems, internationally known for the development of the Lustre synchronous language used by the SCADE tool for the design of safety-critical avionics and space applications. In 2007, Joseph Sifakis has received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today. Joseph Sifakis has had numerous administrative and managerial responsibilities both at French and European level. He has actively worked to reinvigorate European research in embedded systems as the scientific coordinator of the « ARTIST » European Networks of Excellence, for ten years. He has participated in many major industrial projects led by companies such as Airbus, EADS, France Telecom, Astrium, and STMicroelectronics. Joseph Sifakis is a member of the French Academy of Sciences, a member of the French National Academy of Engineering and a member of Academia Europea and a member of the American Academy of Arts and Sciences, and a member of the National Academy of Engineering. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He has received the Leonardo da Vinci Medal in 2012. Joseph Sifakis has received in 2009 the Award of the Hellenic Parliament Foundation for Parliamentarism and Democracy. He is a commander of the Greek Order of the Phoenix. He has been the President of the Greek Council for Research and Technology for the period February 2014 – April 2016.

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