I am a fast and keen learner with an interest in a wide array of technical topics. These include
- Formal verification and proof assistants
- Artificial intelligence
- Functional programming
- Databases
- Mathematics
- Finance
My favorite board game is chess. I don’t really play video games, unless it’s 5D chess with multiverse time travel.
I also enjoy Indian Classical Music. Here’s a classic recording: Raga Piloo