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.