• Automata, Logic and Games
• Formal Methods

• Association for Logic in India (ALI)
• European Association for Theoretical Computer Science (EATCS)
• Indian Society for Technical Education (ISTE)

• WMC10 Curta De Arges, Romania, August 24-27, 2009. (PC Member)
• Third Indian Conference on Logic and its Applications, The Institute of Mathematical Sciences, Chennai, Jan 7-11, 2009 (Organizing committee member)
• Second Indian Winter School on Logic, IIT Kanpur, Jan 2008. (PC Member)
• Second Indian Conference on Logic and its relationship with other disciplines IIT Bombay, Jan 9-11, 2007. (PC Member)
• First Indian Winter School on Logic IIT Bombay, Jan 3-18, 2006. (Co-Convener)
• IRISS 2006 IIT Madras, Jan 19-21, 2006. (Co-ordinator)
• WMC7 Leiden, July 17-21, 2006. (PC Member)

Home |  Research |  Publications |  Courses |