Pranav Ghorpade

According to our database, Pranav Ghorpade authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A Game of Pawns.

Guy Avni, Pranav Ghorpade, Shibashis Guha

Log. Methods Comput. Sci., 2025

Reusable Formal Verification of DAG-Based Consensus Protocols.

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025