University of Sydney

Pranav Ghorpade

I am a PhD student in computer science at the University of Sydney, supervised by Sasha Rubin and Nathalie Bertrand.

I started my PhD in October 2024. Before that, I was an undergraduate student at the Chennai Mathematical Institute, where I was awarded a BSc (Hons) in 2023.

My broad research interest lies in formal methods for complex systems.

Email: pranav.ghorpade@sydney.edu.au
Address: 4W35, Building J12, The University of Sydney, NSW 2008, Australia

News

Visited Prof. Shibashis Guha at TIFR Mumbai, India Dec 2025
Attended FSTTCS 2025 in Goa, India Dec 2025
Attended AAL 2025 in Brisbane, Australia Nov 2025
Visited Prof. Aarti Gupta at Princeton University, USA Jun 2025
Visited Dr. Kedar Namjoshi at Bell Labs, Murray Hill, USA Jun 2025
Visited Prof. Moshe Vardi at Rice University, USA Jun 2025

Research

Papers

Categorizer Automata for Discounted-Sum Payoffs

Nathalie Bertrand, Pranav Ghorpade, Senthil Rajasekaran, Sasha Rubin, Moshe Vardi

Preprint

PDF
Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin

CONCUR 2026

PDF GitHub
Reusable Formal Verification of DAG-based Consensus Protocols

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotić

NFM 2025

PDF GitHub Slides
A Game of Pawns

Guy Avni, Pranav Ghorpade, Shibashis Guha

CONCUR 2023 · Also published at LMCS

PDF

Teaching

COMP2022 Models of Computation University of Sydney · Semester 2, 2025 Course Page

See research internships →

Pranav Ghorpade

Papers

Categorizer Automata for Discounted-Sum Payoffs

Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems

Reusable Formal Verification of DAG-based Consensus Protocols

A Game of Pawns