Embedded Files
I am currently a PhD student in the Computer Science Department at IIT Bombay. I work with Prof. Bharat Adsul on Logics, Automata, Algebra in Concurrency.
NEWS
Our paper "Characterizations of fragments of temporal logic over Mazurkiewikz traces" was accepted at CONCUR 2025. (Joint work with Prof. Bharat Adsul and Prof. Paul Gastin)
Was in the artifact evaluation committee of CAV 2025.
Gave an invited student seminar talk at TIFR Mumbai in Nov 2024.
Attended SAT 2024, was invited to present our work at TCS research (Pune) in a post conference research visit.
Our paper "An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications " was accepted at LICS 2024. (Joint work with Prof. Bharat Adsul, Prof. Paul Gastin, Prof. Pascal Weil)
Elected the PhD Representative for the CSE department of IIT Bombay.
One of only 3 Indians to get a fully funded scholarship and travel grant to attend the prestigious Marktoberdorf Summer School (MOD2023) in Aug 2023.
Page updated
Google Sites
Report abuse