讲座时间：2024年05月11日（星期六）上午10:45
讲座地点：犀浦校区3号教学楼X31541报告厅
主讲人：Jun Liu 教授
主讲人简介：
Dr Jun Liu is currently a Professor in Computer Science, Director of Artificial Intelligence Research Center (AIRC) at School of Computing, Ulster University, Northern Ireland, UK. He worked in the field of AI for many years. His current research is focused on two themes: 1) trust and explainable data-knowledge integrated AI decision model/system with applications in management, engineering, and industry field etc. ; 2) logic and automated reasoning methods for intelligent systems including software verification and automated theorem proving. He has authored or co-authored over 270 publications with over 6800 citations.
内容简介：
In an increasingly AI-driven world, developing trustworthy AI systems is crucial, particularly for high-risk applications. Trustworthy AI must be transparent, explainable, fair, robust, and reliable. This involves two key challenges: creating trustworthy AI models and systems. While distinct, both are essential for real-world use, especially in safety-critical scenarios. The talk will explore these challenges, their importance, underlying concepts, and current advancements. It will also present our research on using formal methods to assess the credibility of data-driven AI, including the alpha credibility concept, many-valued logic-based automated reasoning, and a verification framework for data-driven algorithms, with case studies for illustration.
