Research Interests

My research is mainly in the following areas:

• Theoretical Computer Science
• Mathematical Logic
• Knowledge Representation and Reasoning *Explainable AI

Feel free to write me if you are interested in collaborating (or writing a thesis) on any of the following topics.

• Formal Argumentation: Theory and Applications
• Abductive Reasoning
• Contrastive Explanations
• (Parameterized) Complexity Theory
• Reasoning with Inconsistencies
• Description Logics
• Database Repairs and Consistent Query Answering

Reviewing

I enjoy reviewing and have had the opportunity to review for the following conferences.

• Sub-reviewer:​ AAAI'21, IJCAI'21, AAAI’22, Euro-Par’22, IJCAI’22, AAAI’23, CSL’23, IJCAI’23, KR’23, AAAI’24, FoIKS’24, LPNMR'24
• PC: AAMAS'24, IJCAI'24, AAAI'25, AAMAS'25
• Journals: ACM-TOCL, Applied Sciences, Annals of Pure and Applied Logic