I am a Research Scientist and Engineer passionate about developing Safe and Trustworthy AI systems by integrating symbolic and quantitative approaches. My work lies at the intersection of Automated Reasoning, Formal Methods, and Machine Learning. Some of the topics I am interested in include (i) Temporal Learning, (ii) Statistical Verification, (iii) Neural Network Verification, and (iv) Formal Explainability.