Currently
I currently hold a research position with the Transregional Collaborative Research Centre 248 – “Foundations of Perspicuous Software Systems” (CPEC), contributing to Projects A3: Description Logic Explications and E2: Safe Handover in Mixed-Initiative Control. I also serve as the elected representative for postdoctoral researchers on the CPEC board.
In addition to my research responsibilities, I am actively engaged in service to the logic and knowledge representation communities. After serving as Program Committee Co-Chair for the KR 2025 Video Track, I am honoured to continue in a leadership capacity as Program Committee Co-Chair and Webmaster for DL 2026, and as Social Media Chair for the KR Inc. Foundation (KR Inc.). My contributions include shaping a workshop programme and content, coordinating reviewing processes, managing digital platforms, and advancing community engagement and visibility.
I am an elected member of the DL Steering Committee and serve on the program committees of leading conferences such as IJCAR, KR, FroCoS, DL, IJCAI, ECAI, and AAAI. I also act as a reviewer for journals including JAIR and ACM Computing Surveys.
Research Areas
- Description Logics
- Explanation of logical reasoning
- Evaluating tools through user studies
- Computational Complexity of Reasoning
- Ontology-Mediated Query Answering
- Temporal Reasoning
- Reasoning with numerical domains
Background
Doctoral Thesis “Ontology-Mediated Query Answering with Lightweight Temporal Description Logics” under supervision of Prof. Alessandro Artale
Publications
List of my publications is available on dblp.