My research interests lie in the area of logic-based methods and their applications to computer science, including formal software verification, property-based software testing, program synthesis and transformation, verification of business processes, logic-based learning, and explainable AI
Settori ERC:
PE6_4 Theoretical computer science, formal methods, automata
PE6_3 Software engineering, programming languages and systems
PE6_7 Artificial intelligence, intelligent systems, natural language processing