- Project Title: Parameterized Verification in Concurrent and Distributed Systems
- Guide: Prof. Kartik Nagar
- Co-Guide: Prof. Niket Kaisare
- Paper Presentation at International Symposium on Distributed Computing (DISC)), Freiburg Germany- Oct 2021
- “Brief Announcement to Automating and Mechanizing Cutoff Proofs for Parameterized Verification of Distributed Protocols”.
