I specialize in building verifiable AI agents that bridge the gap between rigorous safety standards and high-utility product features. By orchestrating LLMs with reasoning capabilities, I develop agentic workflows that autonomously analyze program logic, identify security threats, and perform context-aware data synthesis.
I have a PhD on applied AI from EPFL. Previously, I worked in collaboration with the Nokia Research Center and PARC (a Xerox Company). I am a co-inventor on several patents filed by Nokia, PARC and Google.