That's me!

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

-System Of A Down

Vahanwala.

Mihir Jayesh Vahanwala.

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

Research

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
Hobbies
Publications
Imprint
Data Protection