Gauri Desai

According to our database, Gauri Desai authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Cyclic Proofs in Hoare Logic and its Reverse.

James Brotherston, Quang Loc Le, Gauri Desai, Yukihiro Oda

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, April, 2025