Senior research scholar in Department of Computer Science and Engineering of IIT Bombay. Work in the area of formal verification and systems biology.

I code in C++ mainly. Occasionally in Python, R, and Haskell. Ubuntu is my favorite OS.