I am a Post Doctoral Fellow (PDF) at Chennai Mathematical Institute (CMI), Chennai.
My research interests broadly include studying logical systems that involve Knowledge Representation, Observations, Actions, etc. of multiple agents.
I am also interested in problems of Verification, Model Checking and also succinct representations of models and their properties.

• My PhD Supervisors: Sourav Chakraborty, Sujata Ghosh
• My Publications