报告时间：10月17日 10:00-11:00

报告地点：出版社四楼报告厅

报告一名称：Bringing AI to Autonomous Systems

报告摘要:

Autonomous systems are distributed systems composed of agents, each pursuing its own goals, but which must coordinate to satisfy the overall goals of the system.

Main points covered:

1. We analyze the characteristics of autonomous systems, explaining that they underlie a multifaceted concept of intelligence that cannot be characterized by conversational behavioral tests such as the Turing test.

2. We propose a development method based on an agent reference architecture that characterizes autonomous behavior as the result of the composition of a set of independent functions. The behavior results from the orchestration of reactive behavior producing actions in response to external stimuli, and proactive behavior aimed at satisfying the agent's needs relating to the success of its mission. The two behaviors coordinate by sharing knowledge contained in a long-term memory.

3. We analyze how AI can contribute to the creation of AI agents and multi-agent systems, highlighting the need for its seamless integration with traditional software and discussing the current limitations of the state of the art. These limitations particularly concern the use of knowledge stored in long-term memory to semantically control and further improve the accuracy of AI components and adaptation to a constantly changing environment through goal management and planning.

We conclude by emphasizing that AI is still in its infancy, and that there is a long way to go to realize the vision of autonomous systems and get as close as possible to human intelligence.

报告人简介:

Professor Joseph Sifakis is Emeritus Research Director at Verimag. He 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, a leading laboratory in the area of safety critical systems that he directed for 13 years.

Joseph Sifakis has made significant and internationally recognized contributions to the design of trustworthy systems in many application areas, including avionics and space systems, telecommunications, and production systems. His current research focuses on autonomous systems, in particular self-driving cars and autonomous telecommunication systems.

In 2007, he received the Turing Award, recognized as the "highest distinction in computer science", for his contribution to the theory and application of model checking, the most widely used system verification technique.

Joseph Sifakis is a member of the French Academy of Sciences, the French National Academy of Engineering, Academia Europea, the American Academy of Arts and Sciences, the National Academy of Engineering, the National Academy of Sciences, and the Chinese Academy of Sciences.

Joseph Sifakis is a frequent speaker at international scientific, technical and public forums. He is the author of the book “Understanding and Changing the World” published in English and Chinese.

报告二名称：How to Build AI Agent, How to Build Agentic AI, and How to Build Automatically?- with the applications on cybersecurity

报告摘要:

This talk investigates three important questions in agent research and development: how to build effective agents, how to endow them with advanced agentic capabilities—such as memory, knowledge digitization, reasoning, higher order thinking skills and general problem solving skills, and finally how to automate the construction and development of such agentic systems.

To avoid the talk to be overly abstract, we use concrete applications in cybersecurity space to demonstrate how to automate cybersecurity expertise across the soCware development lifecycle, including vulnerability detection, diagnosis, proof-of-concept generation, and automated repair. The adoptability of this research could be applied to many other domains like vibe coding, medical analysis, material science and eventually auto-research.

Finally, we discuss an interdisciplinary path toward Artificial General Intelligence (AGI), integrating insights from neuroscience, psychology, social sciences, and computer science to develop AI systems that are intelligent, agentic, and aligned with human values.

报告人简介:

Dr. Liu Yang is currently a full professor in Nanyang Technological University, Executive Director of Cyber Security Research Centre @ NTU, and Executive Director of CyberSG R&D Programme Office (CRPO). In 2019, he received the University Leadership Forum Chair professorship at NTU, the President's Chair in 2024. Dr. Liu specializes in software engineering, cybersecurity and artificial intelligence. His research has bridged the gap between the theory and practical usage of program analysis, data analysis and AI to evaluate the design and implementation of software for high assurance and security. Many of his research has been successfully commercialized. By now, he has more than 500 publications in top tier conferences and journals, and 28 best paper awards and one most influence system award in top software engineering conferences. He is also leading several major research centers and programs including Cysren, CRPO, Trustworthy AI in NTU (TAICeN) and CREATE center with ICL on medical device security. He has received a number of prestigious awards including MSRA Fellowship, TRF Fellowship, Nanyang Assistant Professor, TanChinTuan Fellowship, Nanyang Research Award, ACM Distinguished Speaker, NRF Investigatorship and NTU Innovator (Entrepreneurship) Award.