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.
- Address
- 4W13, Building J12, The University of Sydney, NSW 2008, Australia
News
- Visited Prof. Shibashis Guha at TIFR Mumbai, India
- Attended FSTTCS 2025 in Goa, India
- Attended AAL 2025 in Brisbane, Australia
- Visited Prof. Aarti Gupta at Princeton University, USA
- Visited Dr. Kedar Namjoshi at Bell Labs, Murray Hill, USA
- Visited Prof. Moshe Vardi at Rice University, USA
- Attended NFM 2025 in Williamsburg, VA, USA
- Visited Prof. Josef Widder at TU Vienna, Austria
- Visited Prof. Nathalie Bertrand at Inria Rennes, France
- Attended ETAPS 2024 in Luxembourg City, Luxembourg
- Attended CAV 2023 in Paris, France
Research
Papers
-
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
Extended Abstracts
-
Towards Formal Verification of DAG-based Consensus
Teaching
- Models of Computation Course Page