I am a PhD student focusing on the formal analysis of large language models. I apply theoretical tools to characterize model behavior, verify their properties, and deepen our understanding of these complex systems. For more details, visit my website.