Now
Here's what I am doing now
PhD
I am a fifth-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.
Reading
I am currently reading The Graveyard Book by Neil Gaiman and Following the Equator by Mark Twain. Before that, I read Of Mice and Men by John Steinbeck.Watching
I am currently watching season 2 of Hilda and season 2 of The Rehearsal. Before that, I watched season 3 of The White Lotus.Gaming
I play Bloodborne and Linelight nowadays. Before that, I played Sekiro.
Last updated on .
Inspired by Derek Sivers: Why you should make a now page.