Srivatsa Srinivas

About me

I am a sixth year PhD student working under Professor Alireza Golsefidy at The University of California, San Diego. My mathematical interests lie in the applications of harmonic analysis, group theory, information theory and number theory towards the study of Random Walks on profinite groups. My computer science interests lie in the application of SMT solvers and Functional Programming towards solving pure math problems.

Publications

• Alireza Salehi Golsefidy and Srivatsa Srinivas. “Random walks on Group Extensions”. In: Transactions of the American Mathematical Society (2024). [doi] [pdf]
• Alireza Salehi Golsefidy and Srivatsa Srinivas. “Random walks on direct products of groups”. In: Journal of the European Mathematical Society (2024). [doi] [pdf]
• Desmond Coles, Peter Huston, David Penneys, and Srivatsa Srinivas. “The module embedding theorem via towers of algebras”. In: Journal of Functional Analysis 280.11 (2021) [doi] [pdf]

Projects

• Using SMT solvers and functional programming to solve problems in Number Theory [Blog Post] [GitHub]
• Using Lean to formally verify problems in Real Analysis [GitHub]
• A generalization of Djikstra's algorithm and it's application to Computer Graphics, along with a minimal implementation in Rust [GitHub]

Professional Documents

• Academia Resume
• Industry Resume
• Research Statement

Links

• Github

Talks

• Random walks on \(SL_2(\mathbb{F}_p) \times SL_2(\mathbb{F}_p)\) at the UCSD CS Theory Seminar, Dec 2 2024. [Link]

Blog Posts

• Fitting arithmetic progressions into geometric progressions - December 28, 2024