My research is in analytic number theory, especially arithmetic quantum chaos, LLL-functions, and multiplicative number theory. A recurring theme in my work is the interaction between arithmetic structures, spectral theory, and the analytic behavior of automorphic forms. More recently, I have also become interested in the role of artificial intelligence in mathematics, with current projects focused on automated reasoning systems and mathematical agents.