Pranav Ghorpade

I am currently a long term visiting student researcher at The University of Sydney under Prof. Sasha Rubin. My visit is funded by Fantom Foundations.

I hold undergraduate degree in Mathematics and Computer Science from Chennai Mathematical Institute.

My interest lies in Formal Methods.  In past I have worked in algorithmic game theory and verification of distributed systems. I am currently working in formal verification of blockchain consensus protocols.

During my undergraduate studies I worked with  Prof. Shibashis Guha  from TIFR Mumbai and Prof. Guy Avni from University of Haifa.  We introduced and studied pawn games; a class of two-player turn-based zero-sum games in which the control of vertices changes dynamically throughout the game. Our work was accepted at CONCUR 2023 and can be found here.

I spent my summer of 2023 in Rennes, France. I was a research intern at SUMO Group in INRIA Rennes. Here I worked under the guidance of Prof. Nathalie Bertrand and Prof. Ocan Sankur. We studied abstraction and refinement techniques for quasi periodic Asynchronous distributed systems.