Researcher on Verifiable AI @ Nokia Bell Labs. Interested on Large Language Models (LLMs), Machine Learning and Data Analysis.