Srivatsa Srinivas

Srivatsa Srinivas is a mathematician affiliated with the University of California, San Diego (UCSD), where he completed his PhD under Professor Alireza Golsefidy. His research focuses on applications of harmonic analysis, group theory, information theory, and number theory to the study of random walks on profinite groups. He also actively explores interdisciplinary projects in formal verification (using tools like Lean and SMT solvers) and computer graphics, with a recent focus on generalizing Dijkstra's algorithm.

Education:

• PhD in Mathematics, UCSD (Advisor: Alireza Golsefidy)

Research Interests: His work bridges pure mathematics and computer science, emphasizing:

• Random walks on algebraic structures
• Applications of harmonic analysis in group theory
• Formal verification techniques for number-theoretic problems
• Algorithmic innovations in computer graphics

Recent Talks: Presented on 'Random walks on SL₂(F_p) × SL₂(F_p)' at the UCSD CS Theory Seminar (Dec 2024) and shared thesis defense slides offering an introduction to his foundational research.