Professor and Dean of Studies
Models for concurrent and distributed systems
President and Member, Executive Council, Indian Association for Research in Computing Science (IARCS)
Member, ACM India Council
Executive Director, International Olympiad in Informatics
National Coordinator, Indian Computing Olympiad
Member, Scientific Board, Mysore Park Workshops
Member, Editorial Board,
Leibniz International Proceedings in Informatics, an open access series for conference proceedings published by Schloss Dagstuhl - Leibniz Center for Informatics, Germany.
Member, Programme Committee,
28th ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), New Orleans, USA, June 25-28, 2013.
38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013), IST, near Vienna, Austria, August 26-30, 2013.
11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013), Hanoi, Vietnam, October 13-15, 2013.
Member, EATCS Council, European Association for Theoretical Computer Science, 2007–2011