With a background in theoretical computer science, I work at the intersection of formal methods and artificial intelligence. My research draws on logic, automata theory, and synthesis, with applications to the verification, explainability, and interpretability of AI systems.

My current research interests include:

• logical foundations of distributed and multi-agent systems, including epistemic reasoning

• formal methods for machine learning and agentic AI

• explainability, interpretability, and runtime verification of learning-based systems

• synthesis, planning, and grammatical inference

My earlier work focused on modeling, verification, and synthesis for distributed systems. More recently, I have been exploring how these techniques can be extended to agentic and multi-agent settings.

I recently gave a talk on explainability, verifiability, and the AI Act, with a focus on what formal methods can contribute, and I am currently teaching a lecture on epistemic runtime verification. Part of my research is carried out in the PEPR IA SAIF project and the FM4AI group at LMF.