Professor and Dean of Studies |
|
-
Models for concurrent and distributed systems
-
Formal verification
-
Distributed algorithms
-
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.
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) , a subseries of Springer Lecture Notes in Computer Science (LNCS).
Formal Methods Letters , a quarterly special section of the journal Software Tools for Technology Transfer
-
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