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

2019 – now
Research Associate, TU Dresden
2017 – 2018
Teaching Assistant, Free University of Bozen-Bolzano
2016 – 2019
Research Assistant, Free University of Bozen-Bolzano
2015
Visiting researcher, Birkbeck, University of London
2007 – 2012

Publications

List of my publications is available on dblp.