About me
Hi, I’m Pranshu 👋
Education
TIFR, Mumbai
I am a fifth-year PhD research scholar in the School of Technology and Computer Science at TIFR, Mumbai. I am working on Formal Methods with my advisor Shibashis Guha, and am co-advised by Laurent Doyen. My areas of interest include reactive synthesis and games on graphs.
Some relevant courses that I have taken include
- Logic, Automata, and Games
- Descriptive Complexity
- Algebraic Automata Theory
- Computational Complexity
- Algebra and Computation
- Online Algorithms
IISc, Bangalore
Previously, I did my undergraduate studies in Maths at IISc, Bangalore from 2016 to 2020. Some courses that I took in IISc include
- Automata and Computability
- Introduction to Scalable Systems
- Game theory
- Graph theory
- Combinatorics
- Algebra I and II
- Topology
- Measure theory
- Graphics and Visualization
Hobbies
I like to walk or cycle around the city and explore new places. I like to do some street photography, eat street food, and play with street cats and dogs on the way.
I like to write puzzles. While I enjoy solving puzzles — I occasionally solve problems on Project Euler — I enjoy creating puzzles even more. Writing a puzzle that others would find interesting and would want to solve is very challenging indeed.
I love programming. I have previously dabbled with functional programming in Haskell as well as Android app development in Kotlin. I am currently learning game development using the Godot game engine.
In my free time, I read books, solve the New York Times crossword and Spelling Bee, or play bullet chess (1+0) on lichess.org.
About this site
This site is built with ❤️ using Hugo and is hosted on GitHub pages.