Program

Since 2020, DI Dr. techn Ingo Pill has been an external lecturer with the Institute of Software Engineering and AI (SAI, former Institute for Software Technology) at Graz University of Technology. From 2020 to 2024 he was a staff scientist with the Silicon Austria
Labs (SAL) in Graz. Before joining SAL in 2020, he was a senior scientist with the Software Engineering & Artificial Intelligence group at SAI where he completed his PhD in Formal Verification in 2008. His research interests lie in symbolic AI and formal methods, with a special focus on diagnosis and its integration with verification, control, and sub-symbolic AI techniques in order to facilitate resilient systems. Ingo is a recognized expert in model-based diagnosis and reasoning, is a member of AAAI, ACM and ASAI/ÖGAI, reviews for top journals and conferences, and has been a regular (senior) program committee member of leading AI venues like AAAI, IJCAI or ECAI for which he received several outstanding program committee member awards for his efforts. He has been active in organizing workshops and conferences, e.g., as co-chair of the International Conference on Principles of Diagnosis and resilient systems (DX) (2014, 2017, 2023, 2024, 2025) for which he also chairs the Steering Committee since 2023, as co-chair of the Dagstuhl Seminar 24031 “Fusing Causality, Reasoning and Learning for Fault Management and Diagnosis) in 2024, and in several capacitites for further conferences and workshops in the area of AI. He received several awards, including the Best Paper Award at the DX conference in 2025. He co-supervised several master and PhD students and has been chair or member of MSc/PhD examination boards (e.g, TU Graz, ANU, Ben Gurion University of the
Negev, or the University of Trento). At SAL, Ingo was one of three members of the SAL doctoral college core team who governed the SAL-DC and who lead as well as authored the multi-million MSCA-Cofund program CRYSTALLINE with 18 PhD students (funding of 2.4M€) that started in 2024.