I am a Post Doctoral Researcher at École normale supérieure de Lyon, Lyon.
I am part of MC2 in LIP. 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