When I became the sun
I shone life into the man's heart.
-System Of A Down
Before joining MPI-SWS, I was an undergraduate at IIT-Bombay. I have studied Linear Recurrence Sequences as a research intern in Prof Blaise Genest's group. My Bachelor's thesis involved studying Liveness for Weak Memory with Prof Parosh Abdulla. My other key projects include the study of Liveness for Asynchronous Programs with Prof Rupak Majumdar, and Approximate Model Counting with Prof Kuldeep Meel.
Here are my contact details, sorted in decreasing order of preference