Srivatsa Srinivas

About me

I am a mathematician who is interested in solving problems of any kind!

I completed my PhD 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.

I enjoy programming and have projects in Formal Verification and Computer Graphics.

I am open to opportunities in both academia and industry!

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

• My thesis defense sildes. They provide a gentle introduction to my work [Link]
• 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