1月10日-30日王彦晶对印度数学科学研究所(IMSc)进行了为期三周的访问。期间与Ram Ramanujam教授开展了广泛的讨论,并做报告 Counting models modulo bisimulation。
在印期间,王彦晶还访问了印度VIT大学,并做报告:Reasoning about knowledge and protocols。