Hi👋! I am a Project Assistant at the Institute of Software Engineering and Artificial Intelligence of Graz University of Technology (TU Graz), Austria, working on Knowledge-based Diagnosis, Configuration Systems, Software Product Lines, and Explanations in AI.

I defended my doctoral thesis in September 2026. Supervised by Professor Alexander Felfernig, my doctoral research — Intelligent Techniques for Efficient Diagnostic Reasoning in Constraint-Based Systems — developed solver-agnostic algorithms for conflict detection, diagnosis, and quality assurance that scale to industrial constraint-based systems, including configuration systems and recommender systems. More recent work extends these foundations toward causality-based explanations and Large Language Models for Software Product Line Engineering.

I am now looking forward to research positions in academia and industry where I can continue working on Explainability, Knowledge-based Reasoning, Constraint Acquisition, and the integration of symbolic and learning-based methods.

News

• September 2026 — Our paper Automated Testing and Debugging of Configuration Knowledge Bases With Direct Diagnosis is published in the Journal of Intelligent Information Systems (JIIS), a SCImago Q2 venue.

• September 2026 — Defended my doctoral thesis Intelligent Techniques for Efficient Diagnostic Reasoning in Constraint-Based Systems at TU Graz, under the supervision of Professor Alexander Felfernig, with the grade very good.

• July 2026 — Our paper Machine Learning for Constraint-based Configuration: A Survey is published in the Journal of Artificial Intelligence Research (JAIR, vol. 86), a SCImago Q1 venue in Artificial Intelligence.

• May 2026 — Received funding from the Projektfonds Lehre 2026 (TU Graz Vice-Rectorate for Teaching) for our project, which uses LLMs to analyze anonymized student submissions from the Introduction to Structured Programming course and propose targeted didactic improvements for the upcoming summer semester.

• March 2026 — Presented our paper Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis at the 41st ACM/SIGAPP Symposium on Applied Computing (SAC 2026), Thessaloniki, Greece.

• March 2026 — Our paper Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control is published in the Proceedings of the AAAI Conference on Artificial Intelligence (vol. 40, no. 23).

• January 2026 — Presented Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control at the 40th AAAI Conference on Artificial Intelligence (AAAI 2026), Singapore.

• October 2025 — Chaired the 27th International Workshop on Configuration (ConfWS 2025), co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna, Italy.

Featured Publications

See the selected publications for the full curated list.

---

©2026 Viet-Man Le

Built with the Jekyll Researcher theme by Ankit Sultana, customized from Ruben Branco.