About me
I am a first-year PhD student in Theoretical Computer Science, under the supervision of Dr. Shufang Zhu and Prof. Sven Schewe at the University of Liverpool in the School of Computer Science and Informatics. I am currently interested in the formal verification of probabilistic systems and I expect to explore the areas around the same. You can find me on LinkedIn and Instagram?
Google Scholar and DBLP as soon as I have publications! 🤞
I had built this during my M.Sc.
(I don't look like this anymore 💔)
Education
- 2025-present: PhD in Theoretical Computer Science, University of Liverpool.
- 2024-2025: M.Sc in "Advanced" Computer Science, University of Liverpool.
- 2020-2024: B.Tech in Computer Science and Engineering, G.Pulla Reddy Engineering College.
Publications
Teaching
- COMP517, COMP218, COMP309, Teaching Assistant, First semester 26/27.
- COMP575, COMP519, COMP286, Teaching Assistant, Second semester 25/26.
News
- September 2026: Presented the same lil something at the Workshop on Symbolic and Numerical Reasoning about games (SNR).
- September 2026: Helped organize CONFEST'26 and ate a lot.
- July 2026: Presented a lil something at the Berlin Summer School on Applied Stochastic Analysis.
- December 2025: Started my PhD.