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 "An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications " was accepted at LICS 2024.
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.
Selected work
Get in touch at shantanu3637@gmail.com
Shantanu Kulkarni
Currently PhD Student at IIT Bombay (Sem2)
Got selected by "Formal Methods" Group at IIT Bombay
Got 9 in course on Formal Methods + Machine Learning with Prof.S.Chakraborty
Got 9 in course on Connection of Algebra, Logic, Automata with Prof.B.Adsul
Masters at BITS Pilani Goa Campus
Masters Thesis in "Formal Verification of Security Protocols" with Dr. A. Baskar
Got 10 in course in "Theoretical Machine Learning" with Prof. A. Srinivasan
Got 10 in courses on "Number Theoretic Algorithms" , "Automated Theorem Proving" with Dr. A. Baskar
Got 10 in course on "Pervasive Computing" with Dr. Sreejith. V