My research interests focus on logic-based methods and tools for software analysis and verification; explainable AI based on computational argumentation; symbolic and neuro-symbolic machine learning; property-based software testing; program synthesis and transformation; analysis and verification of business processes.