معرفی
Mattias Guns is an Associate Professor in the Department of Computer Science at the Faculty of Engineering Science, KU Leuven. He is a core member of the Declarative Languages and Artificial Intelligence (DTAI) research unit and holds affiliations with Leuven.AI and the KU Leuven Institute for Mobility (LIM). He serves on the Council of the Faculty of Engineering Science and the Programme Committees for Artificial Intelligence and Mobility and Supply Chain.
His research centers on bridging Artificial Intelligence with constraint-based optimization, focusing on Explainable AI, Predict-and-Optimize frameworks, and machine learning integration for constraint solving. Key interests include human-centric explainability in decision systems, perceptual reasoning, and energy-efficient optimization models. His work addresses fundamental challenges in program synthesis, scheduling, and trustworthiness of AI planning systems.
Recent publications reveal strong trends in fusing machine learning with declarative problem-solving paradigms. Notable themes include LLM-driven constraint modeling, mutational testing for solvers, step-wise explanation generation, and preference learning for unsatisfiable constraints. His research consistently targets real-world applications in supply chain optimization, inventory management, and perceptual reasoning systems.
As principal investigator, he leads multiple major projects:
- TED-AI: Trustworthy Explanations for Decision Making in AI (2025)
- Towards Human-Centric Explainable Constraint Solving (2025-2028)
- SAELING: Energy Optimization via Learning (2024-2027)
- From Natural Language to Constrained Optimization (2023-2027)
Within the DTAI research group, he contributes to KU Leuven's leadership in declarative AI through collaborative work on constraint programming foundations and applications. His team actively develops open-source tools like CMPpy for prediction-optimization integration and participates in European AI initiatives through Leuven.AI.
