Southwest University IT Faculty Seminar

时间：2024年6月29日（星期六）上午9:30

地点：25-0114

报告题目：Development of AI-based software systems

报告人：Professor Martin Leucker,University of Lübeck,Germany

报告人简介：

Martin Leucker is currently a professor at the University of Lübeck, Germany, heading the Institute for Software Engineering and Programming Languages. He obtained his Ph. D. at RWTH Aachen University, Germany and afterwards, he worked as a Postdoc at the University of Philadelphia, USA and at the Uppsala University, Sweden. He pursued his habilitation at the TU München, Germany.

His research interests span a wide range of topics in formal methods and software engineering, including software testing, runtime verification, and model checking. His research is applied in safety-critical domains, especially in the medical and automotive domains. Recently, he started the development of formal methods for AI-based systems.

He is the author of more than 150 peer reviewed conference and journal papers ranging over software engineering, formal methods and theoretical computer science.

内容摘要：

In this presentation we present several challenges when developing AI based software systems for potentially safety-critical domains in the European jurisdiction. Starting with the legal developments in the European Union, especially the so-called AI act, we recall the idea of the risk-based approach and its implications for the software engineering development process. We state the benefits of using formal methods for supporting the design and analysis steps in a corresponding development process. We identify research challenges, especially when aiming to build trustworthy AI based systems. As one technical solution we describe the idea of property-directed verification of recurrent networks.