Ingrid Chieh Yu

Ingrid Chieh Yu is an Associate Professor in the Department of Informatics at the University of Oslo, where she also serves as Head of Research and Vice Head of Department (2021-2024) and Deputy Centre Director of SIRIUS. Her academic home is within the Data and Knowledge Management (DKM) research group, with additional affiliations to the Concurrent Security and Robustness for Networked Systems (ConSeRNS) initiative.

Professor Yu's research spans multiple domains in computer science, with early work focused on formal methods, software product lines, and concurrent systems. In recent years, her research has expanded significantly into explainable AI, counterfactual explanations, and machine learning interpretability. She has made substantial contributions to feature model evolution, software configuration, and model checking techniques. Her work demonstrates a consistent thread of applying formal methods to practical software engineering challenges, with a notable pivot toward AI explainability in the past five years.

Her publication record shows a clear evolution from foundational work in software engineering and formal methods (2006-2015) to increasingly AI-focused research (2016-present). The most recent publications (2020-2025) predominantly address explainable AI, counterfactual explanations, and robust recourse methods, reflecting her adaptation to emerging challenges in machine learning. She maintains strong collaborative relationships with researchers including Einar Broch Johnsen, Crystal Chang Din, and Peyman Rasouli.

Professor Yu teaches core computer science courses including INF2220 Algorithms and Data Structures, INF3230 Formal Modeling and Analysis of Communicating Systems, and INF5130 Selected Topics in Rewriting Logic. Her teaching reflects her research expertise, bridging theoretical foundations with practical applications.

She leads significant research projects including HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems and Leveraging Energy-Aware Programming (LEAP), demonstrating her capacity to secure and manage substantial research initiatives. Her work with the SIRIUS center indicates strong industry connections and applied research focus.