About me

Here’s how you can pronounce my name.

IPA: /ˈpraːn.ʃuː ˈɡaː.baː/
Devanagari: प्रांशू गाबा

Research

I am a final-year PhD research scholar in Theoretical 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. Read more about my research in my CV.

Contact

If you have feedback or comments for me, if you have ideas for collaboration, or if you have something interesting to share with me, I would love to hear from you! Reach out to me at pranshu@pranshugaba.com or text me on Signal and say hello 👋

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, Android app development in Kotlin, and game development using the Godot game engine. I am currently learning Lisp so I can configure my Emacs better.

In my free time, I read books, solve the New York Times crossword and Spelling Bee, or play drawback chess.

Me painting a scene with mountains and a river

Me standing in front of a painting of mountains and a river

Me standing in front of real mountains and a lake

Uses

I primarily use a laptop running GNU/Linux and an Android phone. My editor of choice is GNU Emacs. I prefer to use free and open-source software wherever feasible.

Me pointing at the banquet sign for SAT 2024

About this site

This website is my personal corner of the internet (and I highly recommend that you have your own personal website as well). The primary purpose of this site is to share with the world things that I have learnt or created or discovered.

How it’s made

All content on this site is made with ❤️ by a human, for humans.

This site is built using a static site generator called Hugo and is hosted on GitHub pages. I write my content in Markdown, and Hugo generates the HTML files. I designed and wrote the theme myself. You can find the source code for the site on its Github repository.

Feeds

You can read my posts using a feed reader! Paste the following address in your favourite feed reader.

https://pranshugaba.com/index.xml

You will be notified whenever I publish a new post. You can also subscribe to only select sections. For more details, visit the subscribe page.