With a background in theoretical computer science, I work on formal methods and artificial intelligence. My research uses logic, automata theory, and synthesis to study the verification, explainability, and interpretability of AI systems. I am part of the PEPR IA SAIF project and the FM4AI group at LMF.

Current research interests:

• logical foundations of distributed and multi-agent systems

• formal methods for machine learning and agentic AI, including explainability and verification

• synthesis, planning, and grammatical inference

Recent activities:

• a talk on explainability, verifiability, and the AI Act

• a lecture on runtime verification from an epistemic perspective

• the development of ZipperGen, a tool for provable coordination of LLM agents