That's me!

When I became the sun
I shone life into the man's heart.

-System Of A Down


Mihir Jayesh Vahanwala.

Hey there!
I am a PhD student at MPI-SWS. I work with Prof Joël Ouaknine. Thanks for visiting!


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.

Contact Me

Here are my contact details, sorted in decreasing order of preference

  1. email: mvahanwa(at)mpi-sws(dot)org
  2. email: mihir(dot)vahanwala(dot)cs(at)gmail(dot)com
Go back up
LaTeX Course
Data Protection